You are here: Home Student Projects and … Finished [M.Sc. Laboratory] A Study of …

[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.
Alexander Nutz - A Study of Software Model Checkers based on Interpolation - Impact,Trace Abstraction.pdf
[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.