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

automaticka formalni verifikace

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

Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
 (Peter Kovalič)

2016, Bakalářská práce, Vysoké učení technické v Brně

• http://theses.cz/id//gqde5g// | Informační technologie / | Práce na příbuzné téma

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

Modelování stateflow diagramů pro účely verifikace
 (Pavla Kratochvílová)

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

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

Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
 (Tomáš AUSBERGER)

2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | 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

Parameter Synthesis for Systems with Real Time
 (Peter Bezděk)

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

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