Press Coverage

• SYSGO's PikeOS Micro-kernel Correctness Presented at Embedded World Conference
  Press Release of SYSGO AG, 22 Feb 2010
  Click here for full text: in English
  
  
• The Way to Bugfree Software
  ibtimes.de, 08 Jan 2010
  Click here for full text: in German
  
  
• SYSGO Unveils Breakthrough in PikeOS™ Formal Security Verification for Verisoft XT Project at SAFECOMP 2009
  Press Release of SYSGO AG, 15 Sep 2009
  Click here for full text: in English
  
  
• On Track of Software Bugs
  Report in 3sat neues — Das Computermagazin, 24 May 2009
  Click here for full text: in German
  
  
• Research on Virtual Worlds, Digital TV and Budgeting at CeBIT 2009
  Press Release of Saarland University, 24 Feb 2009
  Click here for full text: in German
  
  
• Michał Moskal — VCC, The Verifying C Compiler
  Video of Peli de Halleux at Channel 9, Microsoft Development Network, 30 Jan 2009
  Click here for full text: in English
  
  
• SYSGO Announces Historical Growth in 2008
  embedded-linux.de, 28 Jan 2009
  Click here for full text: in German
  
  
• SYSGO Announces Historical Growth in 2008
  Press Release of SYSGO AG, 28 Jan 2009
  Click here for full text: in English in French
  
  
• Software Verification at the European Microsoft Innovation Centre
  Video of Lori Grosland at Channel 9, Microsoft Development Network, 29 Sep 2008
  Click here for full text: in English
  
  
• Microsoft Celebrates Five Years of Collaborative Research in Germany
  Press Release of Microsoft Corp., 29 Sep 2008
  Click here for full text: in English
  
  
• Verifying 50,000 Lines of C Code
  Futures — Microsoft's European Innovation Magazine, Issue June 2008, pp. 42–43, 01 Jun 2008
  Click here for full text: in English
  
  
• A Bug in an Airbus
  Computerra, Issue 11, 26 Mar 2008
  Click here for full text: in Russian
  
  
• Research on Debugging, Espionage, and the Future of the Internet at CeBIT 2008
  idw-online.de, 28 Feb 2008
  Click here for full text: in German
  
  
• SYSGO at the Embedded World 2008: Safe & Secure Virtualization for Embedded Real-Time Systems
  embedded-computing.com, 18 Feb 2008
  Click here for full text: in English
  
  
• Compute Rather Than Moan
  Technology Review, Issue November 2007, pp. 40–45, 01 Nov 2007
  Click here for full text: in German
  
  
• Starting Shot for Multimillion Project at DFKI
  Saarbrücker Zeitung, 18 Sep 2007
  Click here for full text: in German
  
  
• Quality Feature "Verified in Germany" — Verisoft XT Kick-off
  idw-online.de, 17 Sep 2007
  Click here for full text: in German
  
  
• Verisoft XT Kick-Off
  uni-protokolle.de, 12 Sep 2007
  Click here for full text: in German
  
  
• Verisoft XT Kick-Off
  idw-online.de, 11 Sep 2007
  Click here for full text: in German
  
  
• Do Computers Without Bugs Exist?
  Interview in Episode 60 of ComputerClub 2, 30 Jul 2007
  Click here for full text: in German
  
  
• Software Without Blemish or Blame
  Saarbrücker Zeitung, 17 Jul 2007
  Click here for full text: in German
  
  
• Project to Make Bug-Free Software an Export Hit
  computerzeitung.de, 13 Jul 2007
  Click here for full text: in German
  
  
• "Verified in Germany" Becomes a Quality Feature of German Software
  Press Release of the BMBF Press Department, 11 Jul 2007
  Click here for full text: in German
  
  
• Microsoft Joins German Research Project
  TecChannel.de, 11 Jul 2007
  Click here for full text: in German
  
  
• Microsoft Joins German Research Project
  Juraforum.de, 10 Jul 2007
  Click here for full text: in German
  
  
• "Verified in Germany": With Tax Money Against Software Bugs
  pcwelt.de, 10 Jul 2007
  Click here for full text: in German
  
  
• Microsoft Joins German Research Project
  de.internet.com, 10 Jul 2007
  Click here for full text: in German
  
  
• Microsoft Joins German Research Project
  pressebox.de, 10 Jul 2007
  Click here for full text: in German