Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.

Christian Miller Stefan Kupferschmid Bernd Becker

Published in: MBMV (2010)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
knowledge base
missing data
multi agent systems
parametric curves