ultimate-pa

ultimate Public
The Ultimate program analysis framework.

ultimate-pa/ultimate’s past year of commit activity

Java 222 46 203 (8 issues need help) 8 Updated Jul 17, 2025
hanfor Public
Hanfor helps analyzing and formalizing requirements.

ultimate-pa/hanfor’s past year of commit activity

JavaScript 8 LGPL-3.0 4 34 (1 issue needs help) 0 Updated Jul 4, 2025
smtinterpol Public
SMTInterpol interpolating SMT solver

ultimate-pa/smtinterpol’s past year of commit activity

Java 67 LGPL-3.0 19 25 3 Updated Jun 27, 2025
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 213 0 0 Updated May 14, 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 25 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

0 170 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 45 0 0 Updated Apr 9, 2020
automata-benchmarks Public
Automata benchmarks that we use to evaluate our automata library

ultimate-pa/automata-benchmarks’s past year of commit activity

0 0 0 0 Updated Jun 22, 2018

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ultimate-pa

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Most used topics