research
∙
08/10/2023
ESBMC v7.3: Model Checking C++ Programs using Clang AST
This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context...
share
research
∙
07/02/2021
Model Checking C++ Programs
In the last three decades, memory safety issues in system programming la...
research
∙
12/21/2020
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
We describe and evaluate a novel white-box fuzzer for C programs named F...
research
∙
04/27/2020
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
We describe a new SMT bit-blasting API for floating-points and evaluate ...
research
∙
07/30/2019
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Artificial Neural networks (ANNs) are powerful computing systems employe...
research
∙
04/12/2019
Boost the Impact of Continuous Formal Verification in Industry
Software model checking has experienced significant progress in the last...
research
∙
04/04/2019
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space
We describe and evaluate a novel k-induction proof rule called bidirecti...
research
∙
10/29/2018