A language for compositional specification and verification of finite state hardware controllers.
Edmund M. ClarkeDavid E. LongKenneth L. McMillanPublished in: Proc. IEEE (1991)
Keyphrases
- finite state
- model checking
- formal specification
- specification language
- formal verification
- transition systems
- model checker
- temporal logic
- markov chain
- formal methods
- concurrent systems
- context free
- markov decision processes
- reactive systems
- asynchronous circuits
- formal language
- programming language
- control system
- natural language
- average cost
- action sets
- probabilistic context free grammars
- hardware designs
- modeling language
- finite state transducers
- protocol specification
- partially observable markov decision processes
- optimal policy
- text classification