Skip to content
@aufover

Automation of Formal Verification

Pinned Loading

  1. aufover-benchmark aufover-benchmark Public

    Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.

    JavaScript 5 3

  2. experiments experiments Public

    Experiments with `csmock` and tools for formal verification

Repositories

Showing 8 of 8 repositories
  • aufover-benchmark Public

    Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.

    aufover/aufover-benchmark’s past year of commit activity
    JavaScript 5 MIT 3 3 3 Updated Dec 15, 2023
  • rpm-symbiotic Public

    RPM packaging of staticafi/symbiotic

    aufover/rpm-symbiotic’s past year of commit activity
    Python 0 MIT 3 1 0 Updated Mar 2, 2023
  • ldpwrap Public

    A shared library that can be preloaded to instrument the main() function of programs being executed

    aufover/ldpwrap’s past year of commit activity
    Shell 0 BSD-3-Clause 1 0 0 Updated Jun 2, 2022
  • rpm-gllvm Public

    RPM packaging of SRI-CSL/gllvm

    aufover/rpm-gllvm’s past year of commit activity
    0 BSD-3-Clause 0 0 0 Updated Apr 5, 2022
  • cbmc-utils Public

    Output conversion utilities for CBMC

    aufover/cbmc-utils’s past year of commit activity
    C 0 BSD-4-Clause 1 2 0 Updated Feb 10, 2022
  • experiments Public

    Experiments with `csmock` and tools for formal verification

    aufover/experiments’s past year of commit activity
    0 0 0 0 Updated Feb 1, 2022
  • rpm-divine Public

    RPM packaging of paradise-fi/divine

    aufover/rpm-divine’s past year of commit activity
    Python 0 ISC 2 0 0 Updated Dec 9, 2021
  • experesults Public

    Results of experiments within the aufover project

    aufover/experesults’s past year of commit activity
    0 1 0 0 Updated Nov 18, 2021

Top languages

Loading…

Most used topics

Loading…