https://www.alperaltuntas.com/blog/2022/heapsort-correctness/ 2022-11-12T14:00:00+00:00 https://www.alperaltuntas.com/blog/2023/workshop-on-correctness-and-reproducibility/ 2023-07-23T19:59:00+00:00 https://www.alperaltuntas.com/blog/2025/bssw-fellowship-award/ 2025-01-07T20:11:00+00:00 https://www.alperaltuntas.com/blog/2025/formal-methods-esm-etaps/ 2025-05-08T11:59:00+00:00 https://www.alperaltuntas.com/blog/2025/2nd-workshop-correctness-reproducibility/ 2025-05-23T19:59:00+00:00 https://www.alperaltuntas.com/blog/2025/r3sw-tutorial-success/ 2025-11-29T21:09:00+00:00 https://www.alperaltuntas.com/blog/2026/SMT-visualCaseGen/ 2026-03-22T14:00:00+00:00 https://www.alperaltuntas.com/projects/1_project/ 2026-03-25T19:25:01+00:00 https://www.alperaltuntas.com/ https://www.alperaltuntas.com/cv/ https://www.alperaltuntas.com/publications/ https://www.alperaltuntas.com/repositories/ https://www.alperaltuntas.com/talks/ https://www.alperaltuntas.com/blog/2022/ https://www.alperaltuntas.com/blog/2023/ https://www.alperaltuntas.com/blog/2025/ https://www.alperaltuntas.com/blog/2026/ https://www.alperaltuntas.com/blog/tag/formal-methods/ https://www.alperaltuntas.com/blog/tag/alloy/ https://www.alperaltuntas.com/blog/tag/verification/ https://www.alperaltuntas.com/blog/tag/algorithms/ https://www.alperaltuntas.com/blog/tag/workshop/ https://www.alperaltuntas.com/blog/tag/correctness/ https://www.alperaltuntas.com/blog/tag/reproducibility/ https://www.alperaltuntas.com/blog/tag/fellowship/ https://www.alperaltuntas.com/blog/tag/bssw/ https://www.alperaltuntas.com/blog/tag/climate/ https://www.alperaltuntas.com/blog/tag/tutorial/ https://www.alperaltuntas.com/blog/tag/visualcasegen/ https://www.alperaltuntas.com/blog/tag/smt/ https://www.alperaltuntas.com/blog/tag/z3/ https://www.alperaltuntas.com/blog/category/research/ https://www.alperaltuntas.com/blog/category/announcements/ https://www.alperaltuntas.com/blog/