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

Edmund M. Clarke Orna Grumberg Robert P. Kurshan

Published in: J. Log. Comput. (1992)

Keyphrases

finite state
model checking
concurrent systems
transition systems
temporal logic
markov chain
markov decision processes
formal specification
distributed systems
process algebra
optimal policy
model checker
objective function
data model