ultimate-pa

ultimate

automata ltl reachability model-checking software-analysis program-analysis termination

C 22 87 186 (9 issues need help) 0 Updated Aug 10, 2020

smtinterpol

SMTInterpol interpolating SMT solver

Java 7 33 21 0 Updated Aug 10, 2020

hanfor

Hanfor helps analyzing and formalizing requirements.

JavaScript LGPL-3.0 0 3 13 0 Updated Aug 7, 2020

benchexec

Forked from sosy-lab/benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Python Apache-2.0 106 0 0 0 Updated Jul 5, 2020

smt-benchmarks

SMT 0 0 0 0 Updated Jun 19, 2020

sv-benchmarks

Forked from sosy-lab/sv-benchmarks

Collection of Verification Tasks

146 0 0 0 Updated Apr 10, 2020

sv-comp

Forked from sosy-lab/sv-comp

Information to reproduce results from SV-COMP

Apache-2.0 45 0 0 0 Updated Nov 26, 2019

javacup

Java Cup Parser Generator

Java 4 8 0 0 Updated Sep 4, 2019

automata-benchmarks

Automata benchmarks that we use to evaluate our automata library

0 0 0 0 Updated Jun 22, 2018

ultimate-benchmarks

benchmarking benchmark automata ltl reachability model-checking software-analysis

C 0 2 0 0 Updated Sep 13, 2017

star-exec-presenter

Forked from jwaldmann/star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod

Haskell 8 0 0 0 Updated Sep 4, 2017

ultimate-overlay

Gentoo-Overlay for Ultimate Program Analysis Tools

0 0 0 0 Updated May 2, 2017

html2json

Java 0 0 0 0 Updated Oct 19, 2015

licence-manager

Small utility to create licence headers for source files

Java LGPL-3.0 0 0 0 0 Updated Sep 8, 2015

joogie

Joogie version used in the termination competition 2015.

Java 0 1 0 0 Updated Sep 7, 2015