A library of benchmarks across different languages designed to stress software verifiers for different language features.
It is accompanying the following paper: https://soarlab.org/publications/2020_vmcai_gbhr/
A library of benchmarks across different languages designed to stress software verifiers for different language features.
It is accompanying the following paper: https://soarlab.org/publications/2020_vmcai_gbhr/