BUGSENG: Software Verification Systems and Services


Lavinia Battaglia, Roberto Bagnara
BUGSENG

Presentation title

BUGSENG: Software Verification Systems and Services

Authors

Lavinia Battaglia
BUGSENG
Roberto Bagnara
BUGSENG

Presentation type

Presentation of a company involved in the Embedded Systems business

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.


Additional material

  • Presentation slides: [pdf]

For more details on this presentation please click the button below: