The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.
Noriaki YoshiuraPublished in: ACIIDS (2) (2017)
Keyphrases
- temporal logic
- reactive systems
- model checking
- transition systems
- temporal properties
- linear temporal logic
- formal verification
- satisfiability problem
- modal logic
- concurrent systems
- formal specification
- verification method
- belief revision
- dynamic constraints
- mazurkiewicz traces
- formal specification language
- temporal knowledge
- predicate logic
- control flow
- information flow
- natural language
- model checker
- automata theoretic
- query answering