Práce na stejné téma (mají shodná klíčová slova):

formal verification

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 3 4 » (celkem 34 prací)
Refined Büchi automata for faster model checking
 (Vojtěch Rujbr)

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

• https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Translation of Linear Temporal Logic to Omega-Automata
 (Tomáš Babiak)

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

• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Akcelerace inter-frame predikce standard H.265 na masivně paralelních GPU architekturách
 (Vojtěch David)

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

• https://is.muni.cz/th/l4u37/ | Aplikovaná informatika / | Práce na příbuzné téma

Designing Data-Parallel Graph Algorithms for Model Checking
 (Milan Češka)

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

• https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Detekce cyklů v dynamických grafech
 (Jaroslav Bendík)

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

• https://is.muni.cz/th/dn5ty/ | Aplikovaná informatika / | Práce na příbuzné téma

Designing Data-Parallel Graph Algorithms for Model Checking
 (Milan Češka)

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

• https://is.muni.cz/th/v5ksv/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

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 | Práce na příbuzné téma

Parallel Breadth-First Search in LTL Model-Checking
 (Jiří Barnat)

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

• https://is.muni.cz/th/zk960/ | Informatika / | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 | Práce na příbuzné téma

« 1 2 3 4 » (celkem 34 prací)