Notes concerning “Formal methods”

• Why John Backus Was on the Wrong Track 2007 (updated 2019-05-05) (48 minutes)
• More thoughts on powerful primitives for simplified computer systems architecture 2015-08-18 (updated 2015-11-02) (165 minutes)
• Statically bounding runtime 2016-07-19 (4 minutes)
• Generic programming with proofs, specification, refinement, and specialization 2017-05-10 (6 minutes)
• Patterns for failure-free, bounded-space, and bounded-time programming 2018-04-27 (updated 2019-09-10) (42 minutes)
• Arduino safety 2018-12-10 (4 minutes)
• Separating implementation, optimization, and proofs 2019-06-26 (updated 2019-07-22) (41 minutes)