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 2021

Preliminaries, Content of the Course, Examination, Literature
Open
Chapter contains:
1
PDF
1
Study text
1
Web
Programme
Open
Chapter contains:
1
Study text
Teacher recommends to study from 1/3/2021 to 30/5/2021.
Introduction
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 1/3/2021 to 7/3/2021.
Theorem Prover ACL2
Open
Chapter contains:
2
PDF
1
Study Materials
1
Video
1
Study text
Teacher recommends to study from 8/3/2021 to 14/3/2021.
Pushdown Systems: Reachability and LTL Model Checking
Open
Chapter contains:
1
PDF
2
Video
Teacher recommends to study from 15/3/2021 to 28/3/2021.

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

Previous
Next