- | Home |
- Company |
- Contact |
- News |
- S/ware Eng |
- Standards |
- Academic Support |
- Documents |
- Search |
- | Requirements |
- Compilers |
- Validation |
- RTOS |
- Analysis |
- Hardware |
- Software |
- Resources |
- Principals |
- Platform |
Compiler Validation
Phaedrus Systems can supply compiler validation for C compilers. This is Validation not Certification because at the current time there is no Certification for C compiler as there is/was for Ada or Pascal compilers.
Please contact Phaedrus Systems if you need a Validated C compiler for Safety Critical work.
More information will be available soon