Pinned Repositories
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
mmuesly's Repositories
mmuesly/amazon-freertos
IoT operating system for microcontrollers.
mmuesly/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems.
mmuesly/carbon-apimgt
mmuesly/cbmc
C Bounded Model Checker
mmuesly/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
mmuesly/graal
GraalVM: Run Programs Faster Anywhere :rocket:
mmuesly/javaparser
Java 1.8 Parser and Abstract Syntax Tree for Java –
mmuesly/jconstraints
A constraint solver abstraction layer for Java
mmuesly/jConstraints-Runner
mmuesly/jconstraints-smtinterpol
jConstraints abstraction layer for the SMTInterpol solver
mmuesly/jconstraints-z3
jConstraints abstraction layer for Z3
mmuesly/jdart
A dynamic symbolic analysis tool for Java
mmuesly/jgitserv
Small functional wrapper to host JGit repositories
mmuesly/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.
mmuesly/pangaeapy
PANGAEA Python Client
mmuesly/psyco
A tool for generating symbolic interfaces for software components
mmuesly/pyrolite
A set of tools for getting the most from your geochemical data.
mmuesly/RERS2017
mmuesly/sv-benchmarks
mmuesly/z3
The Z3 Theorem Prover