Basic info
Industry
software development
Sectors
Functional Safety
Rhapsody
Statemate
Software
Formal Verification
Simulink
ISO26262
Formal Specification
Model Based Development
Stateflow
UML
Matlab
Requirement-based Testing
DO178B
Automatic Test Generation
Automatic Test Execution
TargetLink
Date founded
1999