Login / Signup

Model-Checking of Specifications Integrating Processes, Data and Time.

Jochen HoenickePatrick Maier
Published in: FM (2005)
Keyphrases
  • model checking
  • temporal logic
  • finite state machines
  • finite state
  • model checker
  • artificial intelligence
  • formal specification
  • partial order reduction