Symbolic Bounded Model Checking of Abstract State Machines (2009)

by Nikolaj Bjørner , Yuri Gurevich , Wolfram Schulte , Margus Veanes
Citations:4 - 4 self