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.