🎤 Formal Methods for Everyone: Practical Tools for Computer-Aided Reasoning
- 👤 Murphy Berzish
📹
Video:
https://youtu.be/2_Z-jk2pfp8
Do you want to write code you can be confident in, and test your programs thoroughly? Formal methods is a powerful discipline of software engineering that uses logic and automated reasoning to prove correctness of programs or find counterexamples to assertions.
This page was generated from this YAML file. Found a typo, want to add some data? Just edit it on GitHub.