Addressing dynamic issues of program model checking (2001)

by Flavio Lerda, Willem Visser
Venue:In Proceedings of the international SPIN workshop on Model checking of software (SPIN