« December 2018 »
December
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
31
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics Finished [M.Sc. Laboratory] A Study of Software Model Checkers based on Interpolation
Document Actions

[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

 

Personal tools