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

Model checking

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 » (total: 23 theses)
Partial Order Reduction in Parallel Model Checking
 (Petr Ročkai)

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

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

List of theses with an identical keyword.

Model Checking Software
 (Petr Ročkai)

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

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

Multi-Threaded Nested DFS
 (Petr Ročkai)

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

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

« 1 2 3 » (total: 23 theses)