Zpět na vyhledávání

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

formal verification

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 3 4 » (total: 33 theses)
GPU Accelerated Enumerative Model Checking
 (Milan Češka)

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

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

List of theses with an identical keyword.

GPU Accelerated Enumerative Model Checking
 (Milan Češka)

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

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

GPU Accelerated Enumerative Model Checking
 (Milan Češka)

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

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

External Memory LTL Model Checking
 (Pavel Šimeček)

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

• https://is.muni.cz/th/kcnmv/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

LTL ověřování pravděpodobnostních modelů v prostředí s distribuovanou pamětí
 (Milan Češka)

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

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

Vliv specifikačních automatů na ověřování modelu
 (Vojtěch Rujbr)

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

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

Grafická reprezentace formulí logiky LTL
 (Michal Keda)

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

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

Porovnání nástrojů pro paralelní LTL model checking
 (Marek Tomáštík)

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

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

Verifikační manažer pro explicitní ověřování modelu
 (Václav Rosecký)

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

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

Vytvoření modelu výtahů se sběrným řízením
 (Ondřej Plotěný)

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

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

« 1 2 3 4 » (total: 33 theses)