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