Login / Signup
State Generation in the PARMC Model Checker.
Owen Kaser
Published in:
PADL (2001)
Keyphrases
</>
model checker
model checking
formal verification
orders of magnitude
description language
temporal logic
formal specification
formal methods
transition systems
image analysis
state space
test suite