Skip to content

Interpolation-model checking

Philipp Wendler requested to merge interpolation-model-checking into trunk

MR for review only, merge needs to be done with svn merge.

Adds a new algorithm for model checking based on interpolation.

Merge request reports