Login / Signup
On the Magnitude of Completeness Thresholds in Bounded Model Checking.
Daniel Bundala
Joël Ouaknine
James Worrell
Published in:
LICS (2012)
Keyphrases
</>
bounded model checking
formal verification
model checking
temporal logic
linear temporal logic
multi agent systems
data quality
model checker