12 citations · 20 across the 6 of their papers we have counts for
1 paper · 1 filter
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…