Patterns in Property Specifications for Finite-State Verification.
Matthew B. DwyerGeorge S. AvruninJames C. CorbettPublished in: ICSE (1999)
Keyphrases
- finite state
- model checking
- automated verification
- model checker
- transition systems
- formal specification
- bounded model checking
- markov chain
- concurrent systems
- formal verification
- temporal logic
- markov decision processes
- context free
- reactive systems
- asynchronous circuits
- average cost
- vector quantizer
- optimal policy
- protocol specification
- partially observable markov decision processes
- continuous time markov process
- tree automata
- wavelet transform
- control flow
- distributed systems