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 2022

Preliminaries, Content of the Course, Examination, Literature
Open
Chapter contains:
1
PDF
1
Folder
1
Study text
Programme
Open
Chapter contains:
1
Study text
Introduction
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 14/2/2022 to 20/2/2022.
Theorem Prover ACL2
Open
Chapter contains:
2
PDF
1
Study Materials
1
Video
1
Study text
Teacher recommends to study from 21/2/2022 to 27/2/2022.
Pushdown Systems: Reachability (and LTL Model Checking)
Open
Chapter contains:
1
PDF
2
Video
1
Study text
Teacher recommends to study from 28/2/2022 to 13/3/2022.

Partial Order Reduction
Open
Chapter contains:
1
PDF
2
Video
Teacher recommends to study from 14/3/2022 to 27/3/2022.
Abstraction
Open
Chapter contains:
1
PDF
2
Video
Teacher recommends to study from 28/3/2022 to 17/4/2022.
Static Analysis and Abstract Interpretation
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 18/4/2022 to 24/4/2022.
Shape Analysis via 3-Valued Logic
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 25/4/2022 to 1/5/2022.
Verification via Automata, Symbolic Execution, and Interpolation
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 2/5/2022 to 8/5/2022.
Property Directed Reachability (PDR/IC3)
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 9/5/2022 to 15/5/2022.

Previous
Next