Login / Signup
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language.
Christoph Czepa
Uwe Zdun
Published in:
IEEE Trans. Software Eng. (2020)
Keyphrases
</>
linear temporal logic
model checking
temporal properties
temporal logic
event processing
formal specification
formal methods
specification language
complex event processing
transition systems
stream processing
modal logic
incomplete information