This video was recorded at Code BEAM America 2022 - https://codebeamamerica.com/ Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti - Author of books Kill It With Fire ABSTRACT Formal verification is difficult to integrate with a real software development process. It takes time, the abstraction of Boolean logic are difficult to learn and the specifications are out of date as soon as the system is updated. But formal logic can be used to make my operation tasks easier and more efficient if instead of using booleans to prove systems correct you use them to reason about system behavior and test hypothesis. OBJECTIVES An intro to different ways of applying the same techniques used in formal verification to improve testing, monitoring, and designing of systems AUDIENCE Engineers who are curious about verification but find the learning curve intimidating • Timecodes 00:00 - 02:46 - Intro 02:47 - 05:08 - Formal Methods 05:09 - 11:07 - Verifying Hardware and Software 11:08 - 12:47 - Strengths and Weaknesses of Verification 12:48 - 22:56 - Some Problems Modelling Systems 22:57 - 28:08 - Code Generator 28:09 - 33:23 - Formal Reasoning and Testing 33:24 - 45:37 - QnA • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global