FoREnSiC demonstrated at the DATE Exhibition

The new open source FoREnSiC (Formal Repair Environment for Simple C) system created by the DIAMOND consortium was successfully presented at the exhibition of the Design Automation and Test in Europe (DATE) conference in Dresden, March 12-16, 2012. The demonstration was held by Robert Könighofer (TU Graz) and Alexander Finder (University of Bremen).

FoREnSiC can be downloaded from the URL:

08. 04. 2012