As experts in safety and mission critical software verification, Verocel can support your certification project at any level:

• Full Verification Services
  • Guidance, artifact development, during new software development
  • Re-engineering of all requirements and artifacts for existing systems
• Black-box and White-box Testing
  • Requirements-based test development
  • Structural Coverage Analysis
• Gap Analysis
  • What other certification materials do you need to complete your certification project?
• Raising Certification Level
  • What do you need to raise the design assurance level of your project from Level C to Level A? We can provide the necessary additional information
• White Papers - Please contact us for a copy of the white papers.  
  • RTOS as a Reusable Component
  • Software Certification Challenges
  • MCDC with Short-circuit Conditions
  • Verification of Traceability
• Full Certification Evidence Demo
  • The way we deliver certification evidence is unique and well-respected in the industry. Please contact us for a copy of a demonstration of a Certification Package on a CD.