Integration of Bounded Model Checking and Deductive Verification.

Bernhard Beckert Thorsten Bormer Florian Merz Carsten Sinz

Published in: FoVeOOS (2011)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
model checker
multi agent systems
data integration
object oriented
cooperative
general purpose
domain independent
abductive inference