Práce na stejné téma (mají shodná klíčová slova):
automatic verificationKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 / | Práce na příbuzné téma