Constraint-based deductive model checking. (2001)

by G Delzanno, A Podelski
Venue:International Journal on Software Tools for Technology Transfer,