Login / Signup

A note on transition systems.

Y. Edmund Lien
Published in: Inf. Sci. (1976)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • control flow
  • practical reasoning
  • reactive systems
  • model checker
  • web services
  • case study
  • petri net
  • formal methods
  • formal verification