Login / Signup
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.
Gianpiero Cabodi
Marco Crivellari
Sergio Nocco
Stefano Quer
Published in:
DATE (2005)
Keyphrases
</>
model checking
temporal logic
finite state machines
automated verification
formal verification
verification method
transition systems
formal specification
finite state
formal methods
model checker
epistemic logic
asynchronous circuits
linear temporal logic