IV101 - Seminář z verifikace (rozcestník 2015)

Cílem této stránky je shromáždit odkazy, prezentace a příklady, které byly připraveny v rámci dotčeného semestru studenty předmětu.

FRAMA-C

Prezentace a příklady na githubu: Frama-C_Examples
(Jan Tušil)

DIVINE

Prezentace:divine.pdf
Příklady:divine.zip
(Barbora Vaššová)

CPA Checker

Prezentace:cpa_checker.pdf
Příklady:examples_cpa.zip
(Marek Tomáštík)

NuSMV/NuXMV

Prezentace:nusmv.pdf, tutoriál http://nusmv.fbk.eu/NuSMV/tutorial/v25/tutorial.pdf
Příklady:NuSMV_NuXMV_prezentace.zip
(Jan Mrázek)

Klee

Prezentace a příklady na githubu: klee-examples
(Samuel Pastva)

JAVA Path Finder


(Jiří Vahala)
IV101 Homepage