mattulbrich Goto Github PK

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

gbi-nat-ded

Webapp for the Natural Deduction Calculus as taught in the course "Grundbegriffe der Informatik" at KIT

ips4o-java-benchmark

A benchmark for the Java implementation of ips4o.

ivil

Interactive Verifier for an Intermediate Language

java-mixfix

A generic mixfix parsing library for Java

jgrep

A GUI frontend for regular expression search written in Java

key

KeY Theorem Prover for Deductive Java Verification

key-citool

llreve

Automatic regression verification for LLVM programs

llreve-backend

llreve-bench

Benchmarks from LLREVE project

mimaflux

mimanet

A netlist implementing the minimal machine

mimasim

A Mima Simulator written in C

mimasimu

A Simulator for the minimal machine, teached at the kit in karlsruhe, with a graphical ui.

mymachine

MyMachine is a simple visualisation tool to learn finite state machines.

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:

pdfpc

A presenter console with multi-monitor support for PDF files.

reve0

A regression verification engine for C programs

rvt

Automatically exported from code.google.com/p/rvt

tableauapplet

a Java implementation of an interative tableau first order theorem prover. For teaching.

z3.rkt

Racket bindings for Z3