Zpět na vyhledávání

Práce na stejné téma (mají shodná klíčová slova):

software verification

Klíč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

Program Slicing and Symbolic Execution for Verification
 (Marek Chalupa)

2021, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/jpz0i/ | Informatika / Fundamenty informatiky | Práce na příbuzné téma

Verification of Name Service Cache Daemon with DIVINE Model Checker
 (Milan Lenčo)

2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/bd1wv/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma

Software pro kontrolu výsledků řešení krystalové struktury srovnáním s DFT výpočtem
 (František Fňukal)

2022, Bakalářská práce, Fakulta chemické technologie / Vysoká škola chemicko-technologická v Praze

http://theses.cz/id//v71kh7// | Syntéza a výroba léčiv / | Práce na příbuzné téma

Analýza a návrh řešení pro ověřování kompatibility softwaru
 (Michal KINZL)

2016, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

http://theses.cz/id//1058ty// | Inženýrská informatika / Informační systémy | Práce na příbuzné téma

Ověřování a certifikace životního cyklu softwaru podle normy ISO/IEC 12207
 (Jiří Janovec)

2014, Bakalářská práce, Ekonomická fakulta / TECHNICKÁ UNIVERZITA V LIBERCI

http://theses.cz/id//uy4due// | Systémové inženýrství a informatika / Manažerská informatika | Práce na příbuzné téma

Ověření softwaru InfraWorks pro studie a projektování v BIM
 (Peter Marek)

2023, Diplomová práce, Fakulta stavební / VŠB – Technická univerzita Ostrava

http://theses.cz/id//bi0d8b// | Stavební inženýrství - Dopravní stavby / | Práce na příbuzné téma

Assurance of Forensic-Ready Software Systems
 (Lukáš Daubner)

2021, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/gcgcg/ | Počítačové systémy, komunikace a bezpečnost / | Práce na příbuzné téma

Verification of Memory Safety with Predator and Symbiotic
 (Tomáš Jašek)

2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/suam0/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma