research
∙
08/11/2023
Validation-Driven Development
Formal methods play a fundamental role in asserting the correctness of r...
share
research
∙
07/28/2022
Trace Refinement in B and Event-B
Traces are used to show whether a model complies with the intended behav...
research
∙
07/07/2022
Application of Validation Obligations to Security Concerns
Our lives become increasingly dependent on safety- and security-critical...
research
∙
05/18/2022
Formalization of Advanced VOs semantics and VO Refinement
This document lays out the foundations for VO and requirement refinement...
research
∙
05/12/2022