Skip to content
@ultimate-pa

ultimate-pa

Pinned Loading

  1. ultimate Public

    The Ultimate program analysis framework.

    Java 218 45

  2. smtinterpol Public

    SMTInterpol interpolating SMT solver

    Java 66 19

  3. hanfor Public

    Hanfor helps analyzing and formalizing requirements.

    JavaScript 9 4

Repositories

Showing 10 of 16 repositories
  • ultimate Public

    The Ultimate program analysis framework.

    Java 218 45 198 (8 issues need help) 6 Updated Apr 30, 2025
  • benchexec Public Forked from sosy-lab/benchexec

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    Python 0 Apache-2.0 212 0 0 Updated Apr 26, 2025
  • hanfor Public

    Hanfor helps analyzing and formalizing requirements.

    JavaScript 9 LGPL-3.0 4 31 (1 issue needs help) 0 Updated Apr 17, 2025
  • smtinterpol Public

    SMTInterpol interpolating SMT solver

    Java 66 LGPL-3.0 19 25 3 Updated Apr 13, 2025
  • smt-benchmarks Public
    SMT 0 0 0 0 Updated Sep 30, 2023
  • VEWIT2023-ConcurrencyGhosts Public

    Concurrency Correctness Witnesses with Ghosts - 1st Workshop on Verification Witnesses and Their Validation (VeWit 2023)

    Makefile 0 0 0 0 Updated Jul 15, 2023
  • javacup Public

    Java Cup Parser Generator

    Java 24 12 0 1 Updated Jun 8, 2022
  • sv-benchmarks Public Forked from sosy-lab/sv-benchmarks

    Collection of Verification Tasks

    0 169 0 0 Updated Nov 15, 2021
  • smtcoq Public Forked from dan-blank/smtcoq

    Communication between Coq and SAT/SMT solvers

    Coq 0 45 0 0 Updated Apr 9, 2020
  • automata-benchmarks Public

    Automata benchmarks that we use to evaluate our automata library

    0 0 0 0 Updated Jun 22, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…