Verification Tools for Finite-State Concurrent Systems.
Edmund M. ClarkeOrna GrumbergDavid E. LongPublished in: REX School/Symposium (1993)
Keyphrases
- concurrent systems
- finite state
- model checking
- transition systems
- temporal logic
- formal methods
- formal specification
- process algebra
- distributed systems
- model checker
- formal verification
- markov chain
- markov decision processes
- tree automata
- partially observable markov decision processes
- petri net
- optimal policy
- context free
- finite state transducers
- action sets
- machine learning
- continuous time bayesian networks
- reactive systems
- asynchronous circuits
- software engineering
- dynamic programming