collaborators

1 paper

cs.PL2022

Traits for Correct-by-Construction Programming

Tobias Runge, Alex Potanin, Thomas Thüm +1

We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (…