Share

Introduction to Formal Methods

Register
Home / Training / Introduction to Formal Methods

Price(s)

  • Member
  • Price: $480
  • Non-Member
  • Price: $560

Next Start Date

  • April 7, 2021

Duration

  • 1 Days

Location

Virtual

Course Overview

This full-day training course provides an introduction to methods and software tools that can be used to produce verification results suitable for use in certification.  Collectively known as “formal methods,” these methods and tools are based on elements of discrete mathematics such as symbolic logic and set theory.

A variety of different kinds of formal methods will be described in this training, including model-checking, theorem-proving, satisfiability solving, program verification and abstract interpretation.  Software tools that support such methods will be demonstrated along with detailed examples.  Participants will learn how to choose an appropriate kind of formal method for specific objectives, along with strategies for integrating the use of formal methods into the overall software development process.

Prior knowledge of formal methods is not necessary to benefit from this training course.  However, it will be assumed that participants are familiar with the fundamental elements of a software development process such as the specification of system and software requirements, and requirements-based testing.

While designed for the airborne software industry, this training should also be of interest to individuals from other industries such as automotive and rail signaling where formal methods can also be used to specify, analyze and verify software functionality.

This training course complements the RTCA DO-333, Formal Methods: DO-178C Supplement training course by offering participants an opportunity to learn how to use formal methods, including enough “hands-on” knowledge to be able to repeat some of the examples demonstrated in this training using open source software tools.

Course Fees

Member $599
Non-Member$699

Virtual Course Fees

Member$480
Non-Member$560

Jeff Joyce

Co-Founder and President

Dr. Jeffrey Joyce is a co-founder and President of an engineering consultancy, Critical Systems Labs Inc., that provides clients with…

Learn more
Introduction to Formal Methods
Register Now
SUBSCRIBE TO OUR NEWSLETTER
Close

Select list(s) to subscribe to


By submitting this form, you are consenting to receive marketing emails from: RTCA, Inc., 1150 18th Street, NW, Washington, DC, 20036. You can revoke your consent to receive emails at any time by using the SafeUnsubscribe® link, found at the bottom of every email. Emails are serviced by Constant Contact
For more information please visit our Privacy Policy