Pinned Repositories
dafny
Dafny is a verification-aware programming language
dive
Dafny Interactive Verification Environment (DIVE)
DynamicDavid
Interactive Hilbert Calculus for propositional dynamic logic
eisop-jdk
Mirror of https://hg.openjdk.java.net/jdk/jdk containing Checker Framework annotations
eldarica
The Eldarica model checker
llreve
Automatic regression verification for LLVM programs
mimaflux
TableauApplet
a Java implementation of an interative tableau first order theorem prover. For teaching.
mattulbrich's Repositories
mattulbrich/mimaflux
mattulbrich/llreve
Automatic regression verification for LLVM programs
mattulbrich/dive
Dafny Interactive Verification Environment (DIVE)
mattulbrich/DynamicDavid
Interactive Hilbert Calculus for propositional dynamic logic
mattulbrich/TableauApplet
a Java implementation of an interative tableau first order theorem prover. For teaching.
mattulbrich/dafny
Dafny is a verification-aware programming language
mattulbrich/eisop-jdk
Mirror of https://hg.openjdk.java.net/jdk/jdk containing Checker Framework annotations
mattulbrich/eldarica
The Eldarica model checker
mattulbrich/gbi-nat-ded
Webapp for the Natural Deduction Calculus as taught in the course "Grundbegriffe der Informatik" at KIT
mattulbrich/ips4o-java-benchmark
A benchmark for the Java implementation of ips4o.
mattulbrich/ivil
Interactive Verifier for an Intermediate Language
mattulbrich/llreve-bench
Benchmarks from LLREVE project
mattulbrich/java-mixfix
A generic mixfix parsing library for Java
mattulbrich/jgrep
A GUI frontend for regular expression search written in Java
mattulbrich/key
KeY Theorem Prover for Deductive Java Verification
mattulbrich/key-citool
mattulbrich/llreve-backend
mattulbrich/mimanet
A netlist implementing the minimal machine
mattulbrich/MimaSim
A Mima Simulator written in C
mattulbrich/MiMaSimu
A Simulator for the minimal machine, teached at the kit in karlsruhe, with a graphical ui.
mattulbrich/MyMachine
MyMachine is a simple visualisation tool to learn finite state machines.
mattulbrich/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
mattulbrich/pdfpc
A presenter console with multi-monitor support for PDF files.
mattulbrich/reve0
A regression verification engine for C programs
mattulbrich/rvt
Automatically exported from code.google.com/p/rvt
mattulbrich/z3.rkt
Racket bindings for Z3