Tools, Links, and Downloads

This section contains useful tools, links, and downloads from our field of research.

RATSY

RATSY, the Requirement Analysis Tool with Synthesis.

We also provide the experimental results (and the scripts used to generate them) of our HVC'2010 paper (R. Könighoer, G. Hofferek, R. Bloem: "Debugging Unrealizable Specifications with Model-based Diagnosis") for download: ZIP

VIS

The VIS Model Checker.

FoREnSiC

An official release of the software diagnosis and repair tool FoREnSiC can be found at http://www.informatik.uni-bremen.de/agra/eng/forensic.php.

Moreover, here you can download the implementation and experimental results for our FMCAD'2011 paper (R. Könighoer, R. Bloem: "Automated Error Localization and Correction for Imperative Programs").