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