ultimate-pa

Repositories

• ultimate

  automata ltl reachability model-checking software-analysis program-analysis termination
  C 27 102 208 (9 issues need help) 0 Updated Aug 2, 2021

• smtinterpol

  SMTInterpol interpolating SMT solver
  Java 11 42 26 1 Updated Jul 30, 2021

• hanfor

  Hanfor helps analyzing and formalizing requirements.
  JavaScript LGPL-3.0 0 5 28 0 Updated Jul 28, 2021

• benchexec

  Forked from sosy-lab/benchexec

  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  Python Apache-2.0 126 0 0 0 Updated Jul 27, 2021

• sv-benchmarks

  Forked from sosy-lab/sv-benchmarks

  Collection of Verification Tasks
  163 0 0 0 Updated Jul 8, 2021

• sv-comp

  Forked from sosy-lab/sv-comp

  Information to reproduce results from SV-COMP
  Makefile Apache-2.0 54 0 0 0 Updated Dec 10, 2020

• smt-benchmarks
  SMT 0 0 0 0 Updated Jun 19, 2020

• smtcoq

  Forked from dan-blank/smtcoq

  Communication between Coq and SAT/SMT solvers
  Coq 28 0 0 0 Updated Apr 9, 2020

• javacup

  Java Cup Parser Generator
  Java 2 10 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 7 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