Login / Signup
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.
Christian Miller
Stefan Kupferschmid
Matthew Lewis
Bernd Becker
Published in:
SAT (2010)
Keyphrases
</>
design tools
bounded model checking
model checking
formal verification
design space
temporal logic
linear temporal logic
noisy data
fractal image compression
motion estimation
missing data
missing values
knowledge base
general purpose
encoding scheme
epistemic logic