Pinned Repositories
aufover-benchmark
Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
cbmc-utils
Output conversion utilities for CBMC
experesults
Results of experiments within the aufover project
experiments
Experiments with `csmock` and tools for formal verification
ldpwrap
A shared library that can be preloaded to instrument the main() function of programs being executed
rpm-divine
RPM packaging of paradise-fi/divine
rpm-gllvm
RPM packaging of SRI-CSL/gllvm
rpm-symbiotic
RPM packaging of staticafi/symbiotic
Automation of Formal Verification's Repositories
aufover/aufover-benchmark
Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
aufover/cbmc-utils
Output conversion utilities for CBMC
aufover/experesults
Results of experiments within the aufover project
aufover/experiments
Experiments with `csmock` and tools for formal verification
aufover/ldpwrap
A shared library that can be preloaded to instrument the main() function of programs being executed
aufover/rpm-divine
RPM packaging of paradise-fi/divine
aufover/rpm-gllvm
RPM packaging of SRI-CSL/gllvm
aufover/rpm-symbiotic
RPM packaging of staticafi/symbiotic