1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2021★ 1 cited
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
We present the Crowbar tool, a deductive verification system for the ABS language. ABS models distributed systems with the Active Object concurrency model. Crowbar implements behav…