Domesticating Automation for Large-Scale Verification Systems - Dafny'24
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore the challenges and potential solutions for scaling automated theorem proving in large-scale practical systems. Delve into a framework for managing automation budget and the importance of coarse-grained module automation boundaries. Learn from the experiences of researchers who applied tooling to a large verified research system project, including their modest success in identifying a candidate boundary and insights on areas for improvement. Gain valuable knowledge on balancing automation efficiency with user experience in verification-based development.
Syllabus
[Dafny'24] Domesticating Automation
Taught by
ACM SIGPLAN
Related Courses
User Experience for the WebOpen2Study Intro to the Design of Everyday Things
Udacity UX-Design for Business
Fraunhofer IESE via Independent UX Design for Mobile Developers
Google via Udacity SAP's UX Strategy in a Nutshell by Sam Yen
SAP Learning