4 citations · 8 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
ESBMC v7.4: Harnessing the Power of Intervals
Rafael Menezes, Mohannad Aldughaim, Bruno Farias +9
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported…
cs.SE2023★ 1 cited
NeuroCodeBench: a plain C neural network benchmark for software verification
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov +1
Safety-critical systems with neural network components require strong guarantees. While existing neural network verification techniques have shown great progress towards this goal,…