60 citations · 269 across the 22 of their papers we have counts for
Showing cs.LOShow 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.LO2022★ 1 cited
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer +1
The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the pr…