Top Menu

• Home
• Services
• Products
• Events
• Contacts
• Sitemap

Side Menu

• Home
  • ISVV history
• Methodology
  • Critical's Methodology
  • Life Cycle
  • Applicable Markets
  • FAQ
    • What is Independent Software Verification & Validation?
    • Why is Independent Verification important?
    • Why is Critical Software the right ISVV provider for my needs?
    • What are the Benefits of ISVV?
    • In what kind of projects does ISVV fits?
    • What are the main objectives of ISVV?
  • Terminology
    • Availability
    • Cause-consequence analysis aka Event Tree Analysis
    • Code Inspections
    • COTS
    • CSW
    • Deadlocks
    • Fault Injection
    • Feasibility
    • ISO
    • Maintainability
    • Memory access violations
    • Performance Analysis aka Performance Testing
    • Reliability
    • Robustness
    • SFMECA
    • SFTA
    • Software Inspection
    • Software Verification
    • Static Analysis
    • Stress Testing
    • SWIFI
    • Testability
    • Traceability
• Experience
  • Projects
    • news
      • galileo c0
      • bscan4fi
      • DBENCH
      • REE
      • RAMS Framework project
      • Cryosat ISVV
  • Case Studies
• Newsroom
  • Short News
    • Press Releases
      • Goce
  • Flyers
• About Us