Login / Signup
Model-Checking of Specifications Integrating Processes, Data and Time.
Jochen Hoenicke
Patrick Maier
Published in:
FM (2005)
Keyphrases
</>
model checking
temporal logic
finite state machines
finite state
model checker
artificial intelligence
formal specification
partial order reduction