most citedNeuroCodeBench: a plain C neural network benchmark for software verification

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023

ESBMC v7.3: Model Checking C++ Programs using Clang AST

Kunjian Song, Mikhail R. Gadelha, Franz Brauße +2

This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context-Bounded Model Checker version, which now incorporates a new clang-based C++ front-end. While the previous C…