Theses on the same topic (having an identical keyword):

formal techniques

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
 (Himanshu Kumar Haran)

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

https://is.muni.cz/th/iqqhj/ | Informatika / Bezpečnost informačních technologií (angl.) | Theses on a related topic

Reduction and Abstraction Techniques for Model Checking
 (Radek Pelánek)

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

https://is.muni.cz/th/xrsgd/ | Informatika / | Theses on a related topic

Formální modely oscilací v biologii a jejich analýza
 (Jakub Šalagovič)

2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/g0z0q/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic