IA159 Formal Verification Methods
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Verification Methods
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Verification Methods
Info
Course
Term
Spring 2020


Preliminaries, Content of the Course, Examination, Literature
Open
Chapter contains:
1
PDF
1
Study text
Pre-Pandemic Part of the Course: Programme & Slides
Open
Chapter contains:
3
PDF
1
Study text
Teacher recommends to study from 17/2/2020 to 15/3/2020.

Partial Order Reduction
Open
Chapter contains:
1
PDF
1
Study text
Teacher recommends to study from 16/3/2020 to 29/3/2020.
Abstraction
Open
Chapter contains:
1
PDF
2
Video
1
Study text
Teacher recommends to study from 30/3/2020 to 19/4/2020.
Static Analysis and Abstract Interpretation
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 20/4/2020 to 26/4/2020.
Shape Analysis via 3-Valued Logic
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 27/4/2020 to 3/5/2020.
Verification via Automata, Symbolic Execution, and Interpolation
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 4/5/2020 to 10/5/2020.
Property-Directed Reachability (PDR/IC3)
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 11/5/2020 to 17/5/2020.

Previous
Next