mmuesly Goto Github PK

amazon-freertos

IoT operating system for microcontrollers.

automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems.

carbon-apimgt

cbmc

C Bounded Model Checker

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

graal

GraalVM: Run Programs Faster Anywhere :rocket:

javaparser

Java 1.8 Parser and Abstract Syntax Tree for Java –

jconstraints

A constraint solver abstraction layer for Java

jconstraints-runner

jconstraints-smtinterpol

jConstraints abstraction layer for the SMTInterpol solver

jconstraints-z3

jConstraints abstraction layer for Z3

jdart

A dynamic symbolic analysis tool for Java

jgitserv

Small functional wrapper to host JGit repositories

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

pangaeapy

PANGAEA Python Client

psyco

A tool for generating symbolic interfaces for software components

pyrolite

A set of tools for getting the most from your geochemical data.

rers2017

sv-benchmarks

z3

The Z3 Theorem Prover