On Executable Specifications of Finite State Protocol Errors.
Stanley LeeSuzanne SluizerPublished in: ICDCS (1986)
Keyphrases
- finite state
- model checking
- model checker
- formal specification
- transition systems
- protocol specification
- attribute grammars
- context free
- markov chain
- temporal logic
- markov decision processes
- formal verification
- control flow
- formal methods
- optimal policy
- average cost
- machine learning
- tree automata
- reactive systems
- partially observable markov decision processes
- learning algorithm
- concurrent systems
- vector quantizer
- probabilistic context free grammars