An important part of the “Agile” development process is regular releases of incremental functionality, using a “test driven development” process (TDD). Writing properties to verify functionality, and proving them at sub block level using formal model checking tools is an ideal way of implementing TDD as part of an “Agile” process.

Jon Buckingham, R&D Engineer at Hewlett Packard Enterprise, recently spoke on “Agile Design Using Properties and Formal Tools” at the Verification Futures Conference which took place on 4 February 2016.

The Presentation Slides are available now