Sign in

Model Checking Synchronized Products of Infinite Transition Systems.

Stefan WöhrleWolfgang Thomas
Published in: Log. Methods Comput. Sci. (2007)
Keyphrases
  • transition systems
  • model checking
  • temporal logic
  • formal specification
  • concurrent systems
  • finite state
  • model checker
  • formal verification
  • formal methods
  • practical reasoning
  • control flow
  • multi agent
  • reactive systems