60 citations · 269 across the 22 of their papers we have counts for
5 papers · 1 filter
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…
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
Tobias Runge, Alexander Kittelmann, Marco Servetto +2
In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks. Static analysis techniques are widespread to enforce a se…
Model-based Fault Classification for Automotive Software
Mike Becker, Roland Meyer, Tobias Runge +3
Intensive testing using model-based approaches is the standard way of demonstrating the correctness of automotive software. Unfortunately, state-of-the-art techniques leave a cruci…
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…
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 (…