Formal Verification Training

An Intensive 3-Day Course – MSc Level

Target Audience

  • Avionics Engineers and Managers

Key Topics Covered

The course will cover the cover the following topics:

  • Reasons for Verification and Cost of bad Verification
  • Defining a Verification Strategy
  • Verification planning, tracking and signing off
  • Verification techniques
  • COTS, Supply chain and verification
  • Safety Guidelines and Verification Design Assurance Levels
  • Planning and Costing verification in a bid
  • Risk and Mitigation plans and Managing change in Verification

Learning Outcomes

At the end of the course the attendees will be able to:

  • Demonstrate an understanding of verification
  • Be able to explain various aspects of verification including: how it differs from validation; the context for verification; describe the limits of verification; the costs associated with good and bad verification.
  • Be able to apply that understanding to a project
  • Be able to explain the verification process and how it fits with the development process including verification at different levels of system hierarchy, justify with reason the choice of verification techniques, defining suitable metrics that can be used to track progress and define verification completeness
  • Be able to reflect on the impact on verification of any changes in the project (e.g. changes in product requirements) and assess the change management plan
  • Demonstrate the ability to put verification into the context of the safety requirements for a project and make suitable contributions to any safety assessments
  • Be able to provide verification leadership within given a project context by demonstrating the ability to define a verification strategy and plan, estimate cost and duration, identify risks and create a risk mitigation plan
  • Be able to critically evaluate a verification strategy and plan
  • Demonstrate an understanding of the supply chain including assessment of a supplier’s verification plan and deliverables, and their verification responsibility to their customer.


  • 3 days with individual lectures and case studies


The following prerequisites is required of the delegates:

  • Knowledge of Requirements Gathering
  • Familiarisation with Avionics terminology
  • Experience in the Avionics Industry

Course Content

  • Overview of the Course
    • Motivation: Why is this course required?
    • Content
    • Objectives
    • Expected outcomes
  • What is verification?
    • The context for verification
    • Why, When and Where do we need it?
    • Verification vs. validation
    • Understanding the limits of what we can achieve
      • Level of confidence derived from verification
    • The cost of bad verification
    • Case study
  • Verification Leadership
    • Judging the amount of verification we need for a particular project
    • Costing verification as part of a bid
      • Understanding the supply chain
      • Understanding what needs to be performed internally
      • Understanding what needs to be delivered
    • Identifying the risks, and the mitigation plans
      • Can we mitigate all risk?
    • What is the change management plan?
  • The Verification Process
    • Defining a verification strategy
    • Integrating with the development process
    • Verification at different levels of hierarchy
    • Planning, tracking, signing off
    • Defining and tracking metrics
    • Managing change
      • Performing an efficient impact analysis to a sufficient level of detail
      • Case study
    • Verification Techniques
      • Choosing the appropriate techniques
      • What metrics will be needed
      • Case study
    • Understanding the supply chain from a verification perspective
    • Assessing verification plans from suppliers
    • Assessing verification performed by suppliers
    • What is needed for COTS?
    • Case study
  •       Safety and verification
    • Conforming to safety standards
    • Case study

Find out more

Contact one of our training consultants today to find out more about our training courses.

Alternatively contact your local sales office