Property specification patterns for finite-state verification.
Matthew B. DwyerGeorge S. AvruninJames C. CorbettPublished in: FMSP (1998)
Keyphrases
- finite state
- model checking
- formal verification
- transition systems
- markov chain
- formal specification
- temporal logic
- formal methods
- model checker
- markov decision processes
- concurrent systems
- asynchronous circuits
- optimal policy
- reactive systems
- context free
- tree automata
- action sets
- protocol specification
- continuous time bayesian networks
- partially observable markov decision processes
- data mining
- specification language
- vector quantizer
- linear programming