Symbolic Bounded Model Checking of Abstract State Machines.

Margus Veanes Nikolaj Bjørner Yuri Gurevich Wolfram Schulte

Published in: Int. J. Softw. Informatics (2009)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
neural learning
multi agent systems
symbolic representation
high level
cooperative
connectionist models
model checker
formal specification
finite state
data sets
optimal solution
neural network