Login / Signup

Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.

Patrice GodefroidRobert S. HanmerLalita Jategaonkar Jagadeesan
Published in: ISSTA (1998)
Keyphrases
  • model checking
  • finite state machines
  • temporal properties
  • temporal logic
  • verification method
  • process algebra