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: http://www.informatik.uni-bremen.de/agra/eng/forensic.php.

• 30.12.12
  |  DIAMOND at European Nanoelectronics Forum
• 30.12.12
  |  DIAMOND at Computing Systems Week
• 30.12.12
  |  DIAMOND at European Test Symposium
• 25.04.12
  |  Diamond tutorials at DDECS a success
• 25.04.12
  |  DIAMOND tutorials at the IEEE DDECS Symposium
• 08.04.12
  |  FoREnSiC demonstrated at the DATE Exhibition