Summer School on Verification Technology, Systems & Applications 2022 Summer School on Verification Technology, Systems & Applications 2022

Summer School on Verification Technology, Systems & Applications 2022
Course on Automated Termination and Complexity Analysis of Programs


Lecturer

Carsten Fuhs, Department of Computer Science and Information Systems, Birkbeck, University of London


Material

Slides for Monday, 5 September 2022 and Wednesday, 7 September 2022: Slides


AProVE Web Interface

The automated termination and complexity analysis tool AProVE provides an implementation of many of the techniques discussed in this course. For this course, the most convenient way to run AProVE is via its Web Interface.


Carsten Fuhs