research
∙
02/12/2021
A Computability Perspective on (Verified) Machine Learning
There is a strong consensus that combining the versatility of machine le...
share
research
∙
11/01/2020
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
This paper provides the first correct semantical representation of UML s...
research
∙
10/12/2020
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper
This white paper argues that formal methods need to be better rooted in ...
research
∙
10/12/2018