ultimate-pa

ultimate Public

The Ultimate program analysis framework.

hanfor Public

Hanfor helps analyzing and formalizing requirements.

JavaScript 9 LGPL-3.0 3 40 (1 issue needs help) 0 Updated Oct 23, 2024

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Python 0 Apache-2.0 199 0 0 Updated Oct 12, 2024

SMTInterpol interpolating SMT solver

Java 60 LGPL-3.0 17 24 3 Updated Jun 23, 2024

SMT 0 0 0 0 Updated Sep 30, 2023

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 23 12 0 1 Updated Jun 8, 2022

Collection of Verification Tasks

0 169 0 0 Updated Nov 15, 2021

Communication between Coq and SAT/SMT solvers

Coq 0 44 0 0 Updated Apr 9, 2020

Automata benchmarks that we use to evaluate our automata library

0 0 0 0 Updated Jun 22, 2018

Provide feedback