Integrating formal methods across all the phases of development process.
Formal Methods, should I attend this tutorials?
Formal methods are rigorous techniques for specification, analysis, and verification of software systems. Formal methods complement the existing testing approaches to validate correctness of complex system. The general perception is that formal methods is hard to apply in practice, has steep learning curve, fails to scale for real-world distributed systems. The purpose of this tutorial is to introduce tools and techniques that help make formal methods easy to apply to distributed systems. Please attend the tutorial to learn about formal methods and how engineers at Amazon Web Services (AWS) leverage them in practice.
Details of the tutorial examples along with videos for each chapter of the tutorials coming soon.... It is going to be a fun tutorial with introduction to light-weight formal methods. You can find the details of the tutorials here.
Database Systems Lab @ AWS
Made with WYSIWYG HTML Editor