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