3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…