Login / Signup

Automatic Verification of Properties in Transition Systems.

André ArnoldSrecko Brlek
Published in: Softw. Pract. Exp. (1995)
Keyphrases
  • transition systems
  • concurrent systems
  • model checking
  • temporal logic
  • desirable properties
  • finite state