Skip to content
@ultimate-pa

ultimate-pa

Pinned Loading

  1. ultimate ultimate Public

    The Ultimate program analysis framework.

    Java 247 52

  2. smtinterpol smtinterpol Public

    SMTInterpol interpolating SMT solver

    Java 73 19

  3. hanfor hanfor Public

    Hanfor helps analyzing and formalizing requirements.

    JavaScript 12 6

Repositories

Showing 10 of 17 repositories
  • ultimate Public

    The Ultimate program analysis framework.

    ultimate-pa/ultimate's past year of commit activity
    Java 247 52 207 (8 issues need help) 18 Updated Sep 10, 2026
  • hanfor Public

    Hanfor helps analyzing and formalizing requirements.

    ultimate-pa/hanfor's past year of commit activity
    JavaScript 12 LGPL-3.0 6 32 (1 issue needs help) 1 Updated Sep 6, 2026
  • smtinterpol Public

    SMTInterpol interpolating SMT solver

    ultimate-pa/smtinterpol's past year of commit activity
    Java 73 LGPL-3.0 19 24 4 Updated Aug 31, 2026
  • benchexec Public Forked from sosy-lab/benchexec

    BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

    ultimate-pa/benchexec's past year of commit activity
    Python 0 Apache-2.0 230 0 0 Updated Jun 5, 2026
  • ultimate-jetbrains-plugin Public

    A plugin that makes Ultimate available in JetBrains IDEs

    ultimate-pa/ultimate-jetbrains-plugin's past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Oct 2, 2025
  • smt-benchmarks Public
    ultimate-pa/smt-benchmarks's past year of commit activity
    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)

    ultimate-pa/VEWIT2023-ConcurrencyGhosts's past year of commit activity
    Makefile 0 0 0 0 Updated Jul 15, 2023
  • javacup Public

    Java Cup Parser Generator

    ultimate-pa/javacup's past year of commit activity
    Java 28 12 0 1 Updated Jun 8, 2022
  • sv-benchmarks Public Forked from sosy-lab/sv-benchmarks

    Collection of Verification Tasks

    ultimate-pa/sv-benchmarks's past year of commit activity
    1 168 0 0 Updated Nov 15, 2021
  • smtcoq Public Forked from dan-blank/smtcoq

    Communication between Coq and SAT/SMT solvers

    ultimate-pa/smtcoq's past year of commit activity
    Coq 0 52 0 0 Updated Apr 9, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…