Formal Reasoning: An Alternative Approach to Formal Verification - Code BEAM America 2022

Explore formal reasoning as an alternative to formal verification in software development through this keynote presentation from Code BEAM America 2022. Delve into the challenges of integrating formal verification into real-world software processes and discover how formal logic can enhance operational tasks. Learn about applying techniques from formal verification to improve testing, monitoring, and system design. Gain insights into verifying hardware and software, understand the strengths and weaknesses of verification methods, and examine problems in modeling systems. Investigate the use of code generators and the application of formal reasoning in testing. Suitable for engineers curious about verification but intimidated by its learning curve, this talk provides a comprehensive introduction to practical applications of formal methods in software engineering.

00:00 - - Intro
02:47 - - Formal Methods
05:09 - - Verifying Hardware and Software
11:08 - - Strengths and Weaknesses of Verification
12:48 - - Some Problems Modelling Systems
22:57 - - Code Generator
28:09 - - Formal Reasoning and Testing
33:24 - - QnA