Synchronizing Clocked Transition Systems.

Mannes Poel Job Zwiers

Published in: FTRTFT (1998)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
reactive systems
distributed systems
formal specification
dynamical systems
formal verification
fully observable