[HTML][HTML] State of the art in software verification and witness validation: SV-COMP 2024
D Beyer - International Conference on Tools and Algorithms for …, 2024 - Springer
The 13th edition of the Competition on Software Verification (SV-COMP 2024) was the
largest competition of its kind so far: A total of 76 tools for verification and witness validation …
largest competition of its kind so far: A total of 76 tools for verification and witness validation …
[HTML][HTML] Competition on software verification and witness validation: SV-COMP 2023
D Beyer - International Conference on Tools and Algorithms for …, 2023 - Springer
The 12th edition of the Competition on Software Verification (SV-COMP 2023) is again the
largest overview of tools for software verification, evaluating 52 verification systems from 34 …
largest overview of tools for software verification, evaluating 52 verification systems from 34 …
NeuroCodeBench: a plain C neural network benchmark for software verification
Safety-critical systems with neural network components require strong guarantees. While
existing neural network verification techniques have shown great progress towards this goal …
existing neural network verification techniques have shown great progress towards this goal …
[HTML][HTML] AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
Z Wang, Z Chen - International Conference on Tools and Algorithms for …, 2024 - Springer
AISE is a static verifier that can verify the safety properties of C programs. The core of AISE is
a program verification framework that synergizes abstract interpretation and symbolic …
a program verification framework that synergizes abstract interpretation and symbolic …
[PDF][PDF] Six Years Later: Testing vs. Model Checking
D Beyer, T Lemberger - … Software Verification with Test …, 2023 - edoc.ub.uni-muenchen.de
Six years ago, we performed the first largescale comparison of automated test generators
and software model checkers with respect to bug-finding capabilities on a benchmark set …
and software model checkers with respect to bug-finding capabilities on a benchmark set …
[PDF][PDF] Find, Use, and Conserve Tools for Formal Methods
D Beyer - sosy-lab.org
The research area of formal methods has made enormous progress in the last 20 years, and
many tools exist to apply formal methods to practical problems. Unfortunately, many of these …
many tools exist to apply formal methods to practical problems. Unfortunately, many of these …