Verifying Clocked Transition Systems.

Yonit Kesten Zohar Manna Amir Pnueli

Published in: Hybrid Systems (1995)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
model checker
finite state
formal verification
formal specification
practical reasoning
artificial intelligence
formal methods
dynamic programming
reactive systems
heuristic search