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