Accessible formal methods
About
The use of formal methods is widely acknowledged to be best possible practice for assuring the behaviour of software systems but is still thought to be inaccessible to a typical software engineer. Furthermore, often the prevailing view is that formal methods are only accessible by academics and that evidence to support certification can be difficult to obtain.
This webinar will address all these issues and make the economic case for the use of accessible formal methods while also addressing limitations.
1
Continuing Professional Development
This event can contribute towards your Continuing Professional Development (CPD) hours as part of the IET's CPD monitoring scheme.
26 Nov 2024
12:00pm - 1:00pm
Organiser
- Nuclear TN
Speakers
Nick Tudor
Chief Executive Officer - D-RisQ Ltd.
Following a full career as RAF Officer Engineer, Nick has been working in software and high integrity systems for the past 2 decades.
As co-Founder of D-RisQ, he has worked in multiple sectors including aerospace, defence, automotive, rail, autonomous systems in air, land, sea, nuclear decommissioning and cyber-security. Perhaps the only claim to fame he might have is as one of the key authors of DO-333, the Formal Methods Supplement to DO-178C (the aerospace software standard).