Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
IA159 Formal Verification Methods
Interaktivní osnova
IA159 Formal Verification Methods
OBSAH
IA159 Formal Verification Methods
Nyní studovat
Preliminaries, Content of the Course, Examination, Literature
Nyní studovat
Pre-Pandemic Part of the Course: Programme & Slides
Nyní studovat
Partial Order Reduction
Nyní studovat
Abstraction
Nyní studovat
Static Analysis and Abstract Interpretation
Nyní studovat
Shape Analysis via 3-Valued Logic
Nyní studovat
Verification via Automata, Symbolic Execution, and Interpolation
Nyní studovat
Property-Directed Reachability (PDR/IC3)
Prohlédnout vše
Partial Order Reduction
Self-study. The topic is nicely presented e.g. in [CGKPV18].
Partial Order Reduction
Předchozí
Následující
IA159 Formal Verification Methods
Nyní studovat
Preliminaries, Content of the Course, Examination, Literature
Nyní studovat
Pre-Pandemic Part of the Course: Programme & Slides
Nyní studovat
Partial Order Reduction
Nyní studovat
Abstraction
Nyní studovat
Static Analysis and Abstract Interpretation
Nyní studovat
Shape Analysis via 3-Valued Logic
Nyní studovat
Verification via Automata, Symbolic Execution, and Interpolation
Nyní studovat
Property-Directed Reachability (PDR/IC3)
Operace
Prohlédnout vše