research
∙
01/09/2023
Case studies of development of verified programs with Dafny for accessibility assessment
Formal verification techniques aim at formally proving the correctness o...
share
research
∙
04/09/2020
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
To ensure interoperability and the correct behavior of heterogeneous dis...
research
∙
03/24/2019
