Login / Signup

Proof Rules for Model Checking Systems with Data.

Kenneth L. McMillan
Published in: FSTTCS (1998)
Keyphrases
  • model checking
  • temporal logic
  • finite state machines
  • automated verification
  • business rules
  • automated reasoning
  • asynchronous circuits
  • reactive systems
  • computation tree logic