Interpolation-model checking
MR for review only, merge needs to be done with svn merge
.
Adds a new algorithm for model checking based on interpolation.
MR for review only, merge needs to be done with svn merge
.
Adds a new algorithm for model checking based on interpolation.