Skip to content
@vprover

Vampire First-Order Theorem Prover

Popular repositories Loading

  1. vampire vampire Public

    The Vampire Theorem Prover

    C++ 331 55

  2. ase17tutorial ase17tutorial Public

    OpenEdge ABL 5 3

  3. rapid rapid Public

    RAPID is a software verification tool that translates programs and their safety properties into first-order-encodings of correctness in SMTLIB syntax. The first-order based encodings are passed to …

    C++ 2

  4. vampire_publications vampire_publications Public

    Repository used by Vampire team to store experimental results

    SMT 1

  5. inductive_benchmarks inductive_benchmarks Public

    Haskell 1 1

  6. vprover.github.io vprover.github.io Public

    HTML 5

Repositories

Showing 9 of 9 repositories
  • vampire Public

    The Vampire Theorem Prover

    C++ 331 55 31 3 Updated Mar 25, 2025
  • inductive_benchmarks Public
    Haskell 1 1 0 0 Updated Jan 28, 2025
  • vampire_benchmarks Public

    A repository of benchmarks produced by and used by the Vampire team

    OpenEdge ABL 0 0 0 0 Updated Jan 20, 2025
  • benchexec Public Forked from sosy-lab/benchexec

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 0 Apache-2.0 209 0 0 Updated Jan 12, 2025
  • vprover.github.io Public
    HTML 0 5 3 4 Updated May 3, 2024
  • rapid Public

    RAPID is a software verification tool that translates programs and their safety properties into first-order-encodings of correctness in SMTLIB syntax. The first-order based encodings are passed to a first-order reasoner, particularly to Vampire's rapid-branch that has been optimized for software verification benchmarks.

    C++ 2 0 3 (1 issue needs help) 0 Updated Oct 30, 2023
  • vampire_publications Public

    Repository used by Vampire team to store experimental results

    SMT 1 0 0 0 Updated Apr 20, 2023
  • vampire-online Public
    JavaScript 0 0 0 9 Updated Jan 8, 2023
  • ase17tutorial Public
    OpenEdge ABL 5 3 0 0 Updated Oct 31, 2017