Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas.
Anatoly ChebotarevPublished in: EWDTS (2013)
Keyphrases
- temporal properties
- model checking
- model checker
- automated verification
- formal specification
- formal verification
- specification language
- bounded model checking
- temporal logic
- formal methods
- concurrent systems
- linear time temporal logic
- operational semantics
- modal operators
- programming language
- natural language
- asynchronous circuits
- general purpose
- possibility theory
- modeling language
- expert systems
- high level
- machine learning