3 citations · 8 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière +3
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article addresses the extension of the logic of Event-B to a powerful logic, in…
cs.LO2025
Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
Klaus-Dieter Schewe, Flavio Ferrarotti
We develop a behavioural theory of reflective parallel algorithms (RAs), i.e. synchronous parallel algorithms that can modify their own behaviour. The theory comprises a set of pos…