Statisches Analysetool von GrammaTech nun unabhängig zertifiziert zur Analyse der funktionellen Sicherheit von Quellcode ITHACA/NY (USA) - 3. Juli 2014…