3 citations · 4 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)
Eduard Kamburjan, Michael Lienhardt
We present a post-region-based verification system for distributed hybrid systems modeled with Hybrid Active Objects. The post-region of a class method is the region of the state s…
cs.PL2022★ 3 cited
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Eduard Kamburjan, Nathan Wasser
We present a novel and well automatable approach to formal verification of C programs with underspecified semantics, i.e., a language semantics that leaves open the order of certai…