research
∙
11/28/2022
Flexible Correct-by-Construction Programming
Correctness-by-Construction (CbC) is an incremental program construction...
share
research
∙
08/30/2022
Model-based Fault Classification for Automotive Software
Intensive testing using model-based approaches is the standard way of de...
research
∙
08/04/2022
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
In security-critical software applications, confidential information mus...
research
∙
04/12/2022