QPR-Technologies

Awards

  • Gold, Silver, and Four Bronze Medals in TACAS\'14 Software Verification Competition
  • Two Gold and Four Silver Medals in TACAS\'13 Software Verification Competition
  • Gold and Silver Medal in TACAS\'12 Software Verification Competition

Produkte & Dienstleistungen

  • Verifikation
  • statische Analyse
  • safety-critical
  • embedded C(++)
  • Automotive

Kooperationen

  • Partner: Daimler