Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
Christoph CzepaAmirali AmiriEvangelos NtentosUwe ZdunPublished in: Softw. Syst. Model. (2019)
Keyphrases
- linear temporal logic
- bounded model checking
- specification language
- temporal logic
- model checking
- transition systems
- reactive systems
- event processing
- formal specification
- concurrent systems
- programming language
- model checker
- modeling language
- complex event processing
- event streams
- high level
- stream processing
- formal verification
- control flow
- description language
- belief revision
- heuristic search
- relational databases
- reinforcement learning