Login / Signup

Property Preserving Homomorphisms of Transition Systems.

Joseph Sifakis
Published in: Logic of Programs (1983)
Keyphrases
  • transition systems
  • model checking
  • temporal logic
  • concurrent systems
  • finite state
  • practical reasoning
  • control flow
  • reactive systems
  • formal specification
  • model checker
  • dynamic programming
  • desirable properties