research
∙
05/30/2022
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections
Behavioural models are a valuable tool for software verification, testin...
share
research
∙
10/04/2020
Robust Software Development for University-Built Satellites
Satellites and other complex systems now become more and more software d...
research
∙
06/25/2018
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design
This volume contains the proceedings of the 1st International Workshop o...
research
∙
07/31/2017