A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems.

Edmund M. Clarke Orna Grumberg Robert P. Kurshan

Published in: Logic at Botik (1989)

Keyphrases

finite state
model checking
concurrent systems
transition systems
temporal logic
markov chain
formal specification
markov decision processes
optimal policy
process algebra
distributed systems
model checker
petri net
tree automata