6 citations · 12 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2014★ 1 cited
Modular Verification of Hybrid System Code with VCC
Ernie Cohen
We present a methodology for object-modular reasoning about hybrid system code using VCC, a deductive verifier for concurrent C code. We define in VCC an explicit time model, in wh…
cs.SE2009
Pessimistic Testing
Ernie Cohen
We propose a new approach to testing conformance to a nondeterministic specification, in which testing proceeds only as long as increased test coverage is guaranteed.