L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.
Linda A. NessPublished in: IEEE Trans. Software Eng. (1993)
Keyphrases
- temporal logic
- model checking
- process algebra
- concurrent systems
- linear temporal logic
- formal specification language
- temporally extended
- modal logic
- formal specification
- satisfiability problem
- temporally extended goals
- modal operators
- model checker
- verification method
- transition systems
- natural language
- specification language
- programming language
- computation tree logic
- predicate logic
- bounded model checking
- search algorithm
- dynamic constraints
- modeling language
- automata theoretic
- temporal knowledge
- reactive systems
- planning domains