I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Tools

GPU-based Parity Game Solver

Please follow this link


Rabinizer

The Rabinizer tool generates small deterministic Rabin automata from LTL formulae.
Please follow this link


A Tool for Modal Transition Systems

Please follow this link


An Advanced Solver for Presburger Arithmetic

Please follow this link


jMoped 2.0

jMoped is a test environment for Java programs written as an Eclipse plug-in.

Given a Java method, jMoped can simulate the execution of the program for all possible arguments within a finite range and generate coverage information for these executions. Moreover, it checks for some common Java errors, i.e. assertion violations, null pointer exceptions, and array bound violations. When an error is found, jMoped finds out the arguments that lead to the error. A JUnit test case can also be automatically generated for further testing.

For more details, please follow this link


HSF(C): A Software Verifier based on Horn Clauses

Please follow this link