[M.Sc. Laboratory] A Study of Software Model Checkers based on Interpolation
We compare techniques of some existing software model checkers, identify differences and commonalities and check if we can present the techniques in a unified framework.
| Course type | M.Sc. Laboratory |
|---|---|
| Instructors | Matthias Heizmann |
| Credits | 6 |
| Course Catalog |
Alexander Nutz's slides of the final presentation:
A Study of Software Model Checkers based on Interpolation - Impact,Trace Abstraction.pdf