Basic info
Industry
software development
Sectors
cross-development tools for embedded systems
software engineering
automated program analysis
open source
Linux
automated test development
open standards for software interfaces
compilers
static code checkers
model driven verification
formal methods
dynamic program verification
operating systems
Date founded
1994