BUGSENG: Software Verification Systems and Services

Lavinia Battaglia, Roberto Bagnara

Presentation title

BUGSENG: Software Verification Systems and Services


Lavinia Battaglia
Roberto Bagnara

Presentation type

Presentation of a company involved in the Embedded Systems business


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: