4 citations · 12 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Deductive Verification of Programs with Underspecified Semantics by Model Extraction
Eduard Kamburjan, Nathan Wasser
We present a novel and well automatable approach to formal verification of programs with underspecified semantics, i.e., a language semantics that leaves open the order of certain…
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…