IA159 Formal Methods for Software Analysis
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Methods for Software Analysis
prof. RNDr. Jan Strejček, Ph.D.
IA159 Formal Methods for Software Analysis
Info
Course
Term
Autumn 2023

Content of the Course, Examination, Literature
Open
Chapter contains:
1
Study text
Introduction & Coverage Criteria for Tests
Open
Chapter contains:
2
PDF
Teacher recommends to study from 18/9/2023 to 1/10/2023.
Greybox Fuzzing: American Fuzzy Lop
Open
Chapter contains:
1
PDF
1
Study Materials
2
Web
Teacher recommends to study from 2/10/2023 to 8/10/2023.
Deductive Verification
Open
Chapter contains:
1
PDF
Teacher recommends to study from 9/10/2023 to 15/10/2023.

Abstract Interpretation
Open
Chapter contains:
1
PDF
1
Video
Teacher recommends to study from 16/10/2023 to 22/10/2023.
Program Slicing and Points-to Analysis
Open
Chapter contains:
1
PDF
Teacher recommends to study from 23/10/2023 to 29/10/2023.
Shape Analysis via 3-Valued Logic
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Teacher recommends to study from 30/10/2023 to 5/11/2023.
Symbolic Execution and Automated Whitebox Fuzz Testing
Open
Chapter contains:
1
PDF
Teacher recommends to study from 6/11/2023 to 12/11/2023.
Configurable Program Analysis
Open
Chapter contains:
2
PDF
1
Study text
Teacher recommends to study from 13/11/2023 to 19/11/2023.
Verification via Automata, Symbolic Execution, and Interpolation
Open
Chapter contains:
1
PDF
1
Video
1
Study text
Verification WItnesses and SV-COMP
Open
Chapter contains:
2
PDF
1
Study text
Teacher recommends to study from 27/11/2023 to 3/12/2023.
SSA, Bounded Model Checking, k-Induction
Open
Chapter contains:
3
PDF
1
Study text
Teacher recommends to study from 4/12/2023 to 10/12/2023.

Previous
Next