Skip to content
View pruemmer's full-sized avatar
24 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: 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 21 5 Updated Sep 6, 2024

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 33 8 Updated Aug 23, 2024

uuverifiers / tricera

TriCera: a model checker for C programs

Scala 18 13 Updated Jun 26, 2024

sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.

Java 179 44 Updated Sep 1, 2024

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 88 20 Updated Sep 5, 2024

coco-team / cocoSim-deprecated

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

MATLAB 23 9 Updated May 2, 2017

microsoft / mcBV

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

F# 16 11 Updated Jun 13, 2023

jayhorn / jayhorn

Static checker for Java

Java 83 20 Updated Nov 23, 2023

uuverifiers / autosat

Constructing automata with SAT solvers

Java 9 2 Updated Oct 10, 2018

uuverifiers / eldarica

The Eldarica model checker

Scala 79 22 Updated Aug 27, 2024