The business of proof

Add to your list(s) Download to your calendar using vCal

• Byron Cook (Amazon)
• Wednesday 06 July 2022, 16:00-17:00
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

VS2W01 - Vistas in Verified Software

With only a few niche applications, the software industry had not previously figured out how to make deep use of formal mechanical reasoning based on mathematical logic. At Amazon we’ve recently seen tremendous adoption of the approach by product groups, with a variety of customer-facing launches that use automated reasoning, and numerous internal proof projects.  This describes those projects, and captures aspects of why Amazon has been successful where others have been less so.  The talk also describes challenges that we face to scale the approach to the next level. 

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.