Theses on the same topic (having an identical keyword):
automatic verificationKeywords ordered alphabetically | Keywords ordered by occurrence rate
String Analysis for Software Verification
(Martina Olliaro)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ymhh2/ | Computer Science / Fundamentals of Computer Science | 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
Automatická kontrola SQL dotazů
(David Němeček)2021, Bakalářská práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně
• http://theses.cz/id//ru7fqp// | Systémové inženýrství a informatika / Ekonomická informatika | Theses on a related topic
Automatic Syntactic Analysis for Real-World Applications
(Vojtěch Kovář)2014, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/iadwb/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Automatická kontrola výsledků řešení krystalové struktury na základě srovnání s výsledky DFT výpočtu.
(František Fňukal)2024, Diplomová práce, Fakulta chemické technologie / Vysoká škola chemicko-technologická v Praze
• http://theses.cz/id//eq3bcq// | Syntéza a výroba léčiv / | Theses on a related topic
Nástroj pro verifikaci kontraktu rozhraní
(Pavol Hrabovský)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ss3kl/ | Aplikovaná informatika / | Theses on a related topic
Automatické obchodní systémy
(Robert Ludvig)2015, Diplomová práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/ya98b/ | Finance a účetnictví / Finance | Theses on a related topic
Automatické dokazování správnosti paralelních programů
(Vojtěch Pikal)2010, Bakalářská práce, Přírodovědecká fakulta / Univerzita Palackého
• http://theses.cz/id//jy655a// | Informatika / | Theses on a related topic