Login / Signup

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking.

M. Oliver Möller
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • model checking
  • finite state machines
  • model checker
  • temporal properties
  • verification method
  • formal specification
  • formal methods
  • process algebra