Skip to content

@aufover Automation of Formal Verification

Change the repository type filter

All

    Repositories list

    8 repositories

    • aufover-benchmark

      Public
      Collection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
      JavaScript
      •
      MIT License
      •3•5•3•3•Updated Dec 15, 2023Dec 15, 2023

    • rpm-symbiotic

      Public
      RPM packaging of staticafi/symbiotic
      Python
      •
      MIT License
      •3•0•1•0•Updated Mar 2, 2023Mar 2, 2023

    • ldpwrap

      Public
      A shared library that can be preloaded to instrument the main() function of programs being executed
      Shell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jun 2, 2022Jun 2, 2022

    • rpm-gllvm

      Public
      RPM packaging of SRI-CSL/gllvm
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Apr 5, 2022Apr 5, 2022

    • cbmc-utils

      Public
      Output conversion utilities for CBMC
      C
      •
      BSD 4-Clause "Original" or "Old" License
      •1•0•2•0•Updated Feb 10, 2022Feb 10, 2022

    • experiments

      Public
      Experiments with `csmock` and tools for formal verification
      0•0•0•0•Updated Feb 1, 2022Feb 1, 2022

    • rpm-divine

      Public
      RPM packaging of paradise-fi/divine
      Python
      •
      ISC License
      •2•0•0•0•Updated Dec 9, 2021Dec 9, 2021

    • experesults

      Public
      Results of experiments within the aufover project
      1•0•0•0•Updated Nov 18, 2021Nov 18, 2021