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

model verification

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 20 theses)
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 | Theses on a related topic

List of theses with an identical keyword.

CFD model of vehicle condenser
 (Michal Schmid)

2023, Disertační práce, Dopravní fakulta Jana Pernera / Univerzita Pardubice

• http://theses.cz/id//vws9p3// | Technika a technologie v dopravě a spojích / Dopravní prostředky a infrastruktura: Dopravní prostředky | Theses on a related topic

A Nondeterministic File System Model for DiOS
 (Robert Konicar)

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

• https://is.muni.cz/th/ruwth/ | Informatika / Matematická informatika | Theses on a related topic

Craig's Interpolant in Model Checking Algorithms
 (Viktória Vozárová)

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

• https://is.muni.cz/th/mdjz8/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

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

Symbolic Model Checking via Program Transformations
 (Henrich Lauko)

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

• https://is.muni.cz/th/owq0x/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Quantitative Probabilistic Verification in Distributed Environment
 (Jiří Appl)

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

• https://is.muni.cz/th/hrhwt/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Untimed LTL Model Checking of Timed Automata
 (Jan Havlíček)

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

• https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Model of design principles for the definition of data for the consistency of evaluation in Enterprise Governance of IT
 (Christian Hitz)

2015, Disertační práce, Vysoká škola ekonomická v Praze

• http://www.vse.cz/vskp/eid/79046 | Ekonomika a management / Podniková ekonomika a management | 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

« 1 2 » (total: 20 theses)