BUGSENG: Software Verification Systems and Services


Lavinia Battaglia, Roberto Bagnara
BUGSENG

Titolo della presentazione

BUGSENG: Software Verification Systems and Services

Autori

Lavinia Battaglia
BUGSENG
Roberto Bagnara
BUGSENG

Tipologia della presentazione

Presentazione di una azienda attiva nel mercato dei sistemi embedded

Abstract

BUGSENG is a leading provider of solutions and services for software verification. BUGSENG’s certified ECLAIR Software Verification Platform has been designed to help engineers develop higher-quality software, effectively, by changing the traditional rules of the game. BUGSENG consulting services help industry leaders improving their development processes and complying with functional-safety standards. BUGSENG is also a renowned resource for advanced professional training.


Ulteriore materiale

  • Slide della presentazione: [pdf]

Per ulteriori dettagli su questa presentazione, cliccare sul pulsante seguente: