Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Towards a Proof System for Probabilistic Dynamic Logic
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo +2
Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable excepti…
cs.LO2023
Context-aware Trace Contracts
Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling. This context cannot be specified…
cs.LO2023
Modular Analysis of Distributed Hybrid Systems using Post-Regions (Full Version)
Eduard Kamburjan
We introduce a new approach to analyze distributed hybrid systems by a generalization of rely-guarantee reasoning. First, we give a system for deductive verification of class invar…