A Procedure To Translate Paradigm Specifications To Propositional Linear Temporal Logic And Its Application To Verification.
Juan Carlos AugustoRodolfo GómezPublished in: Int. J. Softw. Eng. Knowl. Eng. (2003)
Keyphrases
- bounded model checking
- linear temporal logic
- model checking
- temporal logic
- formal verification
- automated verification
- model checker
- concurrent systems
- formal specification
- transition systems
- proof procedure
- first order logic
- propositional logic
- reactive systems
- finite state
- asynchronous circuits
- formal methods
- specification language
- search procedure
- protocol specification
- written in natural language