Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022
Improving Counterexample Quality from Failed Program Verification
Li Huang, Bertrand Meyer, Manuel Oriol
In software verification, a successful automated program proof is the ultimate triumph. The road to such success is, however, paved with many failed proof attempts. The message pro…
cs.SE2015
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two typ…