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