Malte Mues's repositories
amazon-freertos
IoT operating system for microcontrollers.
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems.
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-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.
z3
The Z3 Theorem Prover