research
∙
11/28/2022
Flexible Correct-by-Construction Programming
Correctness-by-Construction (CbC) is an incremental program construction...
share
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
Traits for Correct-by-Construction Programming
We demonstrate that traits are a natural way to support correctness-by-c...
research
∙
02/26/2019
Sound Invariant Checking Using Type Modifiers and Object Capabilities
In this paper we use pre existing language support for type modifiers an...
research
∙
02/26/2019