8000 pruemmer (Philipp Ruemmer) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View pruemmer's full-sized avatar
25 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report pruemmer

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

uuverifiers / princess

The Princess Theorem Prover

Scala 26 8 Updated Jun 29, 2025

uuverifiers / horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses

Scala 1 Updated Jun 24, 2024

uuverifiers / ostrich

An SMT Solver for string constraints

Scala 40 8 Updated Jun 25, 2025

uuverifiers / tricera

TriCera: a model checker for C programs

Scala 25 13 Updated Jun 17, 2025

sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.

Java 226 52 Updated Jul 1, 2025

uuverifiers / sloth

An SMT Solver for strings

Scala 10 5 Updated Jun 22, 2018

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless

Scala 91 21 Updated Apr 23, 2025

coco-team / cocoSim-deprecated

Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)

MATLAB 25 9 Updated May 2, 2017

microsoft / mcBV

A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.

F# 21 10 Updated Jun 13, 2023

jayhorn / jayhorn

Static checker for Java

Java 86 22 Updated Jan 16, 2025

uuverifiers / autosat

Constructing automata with SAT solvers

Java 8 2 Updated Oct 10, 2018

uuverifiers / eldarica

The Eldarica model checker

Scala 88 24 Updated May 28, 2025
0