research
∙
06/05/2023
A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Non-deterministic Finite Automata (NFA) may represent regular languages ...
share
research
∙
12/19/2022
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
Interactions are formal models describing asynchronous communications wi...
research
∙
02/21/2022
Certified Verification of Relational Properties
The use of function contracts to specify the behavior of functions often...
research
∙
05/01/2021
A structural operational semantics for interactions with a look at loops
Message Sequence Charts Sequence Diagrams are graphical models that ...
research
∙
09/03/2020
A small-step approach to multi-trace checking against interactions
Interaction models describe the exchange of messages between the differe...
research
∙
11/08/2019
Revisiting Semantics of Interactions for Trace Validity Analysis
Interaction languages such as UML sequence diagrams are often associated...
research
∙
11/26/2018
MetAcsl: Specification and Verification of High-Level Properties
Modular deductive verification is a powerful technique capable to show t...
research
∙
01/21/2018
Static and Dynamic Verification of Relational Properties on Self-Composed C Code
Function contracts are a well-established way of formally specifying the...
research
∙
01/21/2018
Self-composition to Prove Relational Properties in Annotated C Program
Deductive verification provides a powerful tool to show functional prope...
research
∙
02/14/2011