12 citations · 20 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 1 cited
Flexible Correct-by-Construction Programming
Tobias Runge, Tabea Bordis, Alex Potanin +2
Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a spec…
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 (…