About BUGSENG:

BUGSENG is a leading provider of solutions and services for software verification. BUGSENG’s

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 improve their development processes and comply with functional-safety standards. BUGSENG is also a renowned resource for advanced professional training.