4 citations · 12 across the 7 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
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…
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.PL2018★ 1 cited
Stateful Behavioral Types for ABS
Eduard Kamburjan, Tzu-Chun Chen
It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and the constraints on states of multiple participants. To a…