AspectLTL: an aspect language for LTL specifications.
Shahar MaozYaniv Sa'arPublished in: AOSD (2011)
Keyphrases
- specification language
- bounded model checking
- model checking
- linear temporal logic
- formal specification
- formal language
- operational semantics
- temporal logic
- transition systems
- natural language
- language learning
- data sets
- model checker
- language processing
- finite state machines
- programming language
- high level
- linear time temporal logic
- formal verification
- representation language
- conceptual models
- description language