Construction and SAT-Based Verification of Contextual Unfoldings.

Stefan Schwoon César Rodríguez

Published in: DCFS (2011)

Keyphrases

constraint solver
sat solvers
contextual information
model checking
construction process
formal verification
orders of magnitude
face verification
optimal solution
knowledge representation
temporal logic
context sensitive
version space
signature verification
asynchronous circuits
verification method