Symbolic bounded model checking of abstract state machines (2009)

by M Veanes, N Bjørner, Y Gurevich, W Schulte
Venue:Int J Software Informatics