4 citations · 12 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024★ 1 cited
A Hoare Logic for Domain Specification (Full Version)
Eduard Kamburjan, Dilian Gurov
Programs must be correct with respect to their application domain. Yet, the program specification and verification approaches so far only consider correctness in terms of computati…
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…
cs.LO2019★ 2 cited
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
Eduard Kamburjan
We present Behavioral Program Logic (BPL), a dynamic logic for trace properties that incorporates concepts from behavioral types and allows reasoning about non-functional propertie…