Basic info
Industry
software development
Sectors
software quality
abstract interpretation
automatic program manipulation
misra
static analysis
software testing
software analysis
functionalsafety
software verification
software reliability
Date founded
2011