Verification and Validation

  • Software Requirement Definition and Review
  • Failure Modes and Effects Analysis (FMEA)
  • Fault Tree Analysis (FTA)
  • Design Review
  • Formal Specification and Model Checking
  • Bug finding, error diagnostics
  • Code Review and formal code analysis
    • identification of runtime errors by means of static analysis and abstract interpretation
    • Worst-Case Execution Time (WCET) analysis


  • Development of made-to-measure HSI test equipment
  • Manual and automated test case/test data generation
  • Model based testing
  • Requirement based testing
    • Unit testing
    • Software-integration (SWI) testing
    • Hardware-software-integration (HSI) testing
    • System integration testing
  • Performance tests
  • Robustness tests (e.g. stack utilization, maximal load, avalanche, long duration)
  • Protocol conformance tests
  • Test suite strength assessment


  • Consultancy regarding certification requirements, methods and tools
  • Verification of verification results
  • Compilation of traceability data
  • Accomplishment summary
  • Elaboration of specific verification tasks
  • Full verification with independence

Quality Assurance

  • Verified Systems provides quality assurance services for all development phases of a (potentially safety-critical) system, ranging from hazard analysis to acceptance testing. All development phases are supported by our products.


We offer dedicated trainings on both, general topics such as foundations of formal methods dedicated product-specific trainings. Email us at to discuss your training needs.