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