Software Verification 2020VT Status Cancelled School IDA-gemensam (IDA) Division ESLAB Owner Ahmed Rezine Homepage https://www.ida.liu.se/~TDDE34/ Postponed to autumn 2020

Log in

---

Course plan

Intended learning outcomes

The course is an introduction to the theory and practice of software
verification. After completion of the course, students will be able to:

* Demonstrate knowledge about the principals behind software verification approaches including Hoare-style axiomatic reasoning, satisfiability modulo theory and abstract interpretation.

* Apply existing techniques in order to analyse and verify software.

* Describe advantages, limitations and research challenges of software verification.

Teaching and working methods

Lectures and tutorials present the theory. Laboratory work for practice.

Literature

Relevant literature includes:

Bradley, Aaron R., Manna, Zohar, (2007) The Calculus of Computation. Decision Procedures with Applications to Verification.

Nielson, Flemming, Nielson, Hanne R., Hankin, Chris, (2005) Principles of Program Analysis.

Page responsible: Director of Graduate Studies