Theses on the same topic (having an identical keyword):
formalna verifikaciaKeywords ordered alphabetically | Keywords ordered by occurrence rate
Program analysis using interval abstraction and backward refinement
(Pavol Mišenko)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/v01cf/ | Informatika / | Theses on a related topic
Compiling C to Cthulhu
(Vladimír Uhlík)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/paeh4/ | Informatika / | Theses on a related topic
Compiling Applications for Analysis with DIVINE
(Zuzana Baranová)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wsm31/ | Aplikovaná informatika / | Theses on a related topic
Vizualizace stavových prostorů
(Marek Moravčík)2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p9sra/ | Aplikovaná informatika / | Theses on a related topic
Verifikace kryptografických vlastností platebního protokolu
(Peter Chriašteľ)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n0aai/ | Aplikovaná informatika / | Theses on a related topic