FoREnSiC tool released by DIAMOND consortium
The first release of the automated system-level debug environment FoREnSiC (Formal Repair Environment for Simple C) has been made available at the URL: The environment has been created in the frames of the DIAMOND project and it has been developed by Graz University of Technology, Bremen University and Tallinn University of Technology.
01. 01. 2012