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 2023

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 13/2/2023 to 19/2/2023.
Pushdown Systems: Reachability (and LTL Model Checking)
Open
Chapter contains:
1
PDF
2
Video
1
Study text
Teacher recommends to study from 20/2/2023 to 26/2/2023.

Partial Order Reduction
Open
Chapter contains:
1
PDF
2
Video
Teacher recommends to study from 27/2/2023 to 12/3/2023.
Abstraction
Open
Chapter contains:
1
PDF
2
Video
Teacher recommends to study from 13/3/2023 to 26/3/2023.
Static Analysis and Abstract Interpretation
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 27/3/2023 to 2/4/2023.
Shape Analysis via 3-Valued Logic
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 3/4/2023 to 16/4/2023.
Verification via Automata, Symbolic Execution, and Interpolation
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 17/4/2023 to 23/4/2023.
Theorem Prover ACL2
Open
Chapter contains:
2
PDF
1
Study Materials
1
Video
1
Study text
Teacher recommends to study from 24/4/2023 to 14/5/2023.
Property Directed Reachability (PDR/IC3)
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 15/5/2023 to 21/5/2023.

Previous
Next