Theses on a related topic (having the same keywords):

portovani, model-checking, divine-mc, pthreads, cross-kompilace, win32

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výpočet charakteristických vzorců pro LTL | Theses on a related topic Display description

2.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Almost linear Bűchi automata | Theses on a related topic

3.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic

4.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic

5.
Tušil, Jan
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Informatics / Programmable Technical Structures
Bachelor's thesis defence: Partial Order redukce pro LLVM | Theses on a related topic