Skip to main content

Automatic Software Formal Verification

Conference: Verification Futures 2023 (click here to see full programme)
Speaker: Nick Tudor
Presentation Title: Automatic Software Formal Verification
Abstract: D-RisQ has developed a series of formal methods based tools that enable a typical software developer to avoid errors, speed up development and comply with standards. We start with requirements and go through the life cycle to enable verification at every stage.
Speaker Bio:

Nick has a BEng degree in Electrical Electronic Engineering and was an RAF Officer Engineer for 20 years. In 2000, he gained a MSC in Software Engineering, and became the senior software advisor on multiple air programmes including JSF, Eurofighter, Chinook and Hawk. After the RAF, Nick was an active contributor to DO-178C and is a member of the Forum for Aeronautical Software and contributed to the paper for EASA/FAA on use of DO-178C for UAS.

In 2012, Nick co-founded D-RisQ which produces automated formal methods verification tools for systems and software which support compliance to many standards. Since then, he has carried out a number of projects in various sectors, from aerospace, nuclear decommissioning, maritime, medical, cyber security, autonomous system (air, land, sea) as well as contributing to various standards and other working groups. He is also the Design Authority Chair for OLTER, a Scottish government funded project for offshore autonomous, an independent role since 2021.

Key Points:
  • Compliance to standards
  • Reduces opportunity for error from requirements onwards
  • Enables developer to focus on what is needed not necessarily how to do it
  • Close Menu