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