Login / Signup
Fast Generic Model-Checking for Data-Based Systems.
Dezhuang Zhang
Rance Cleaveland
Published in:
FORTE (2005)
Keyphrases
</>
model checking
temporal logic
formal methods
software engineering
domain specific
np complete
finite state machines
asynchronous circuits
automated verification
partial order reduction