YoVDO

Domesticating Automation for Large-Scale Verification Systems - Dafny'24

Offered By: ACM SIGPLAN via YouTube

Tags

User Experience Courses Software Engineering Courses Scalability Courses Modular Programming Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Teaching Logic and Set Theory with Dafny
ACM SIGPLAN via YouTube
CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
ACM SIGPLAN via YouTube
Verifying a Concurrent File System with Sequential Reasoning
ACM SIGPLAN via YouTube
Generating Conforming Programs with Xsmith
ACM SIGPLAN via YouTube
Verifying Dafny Contract Integrity - Detecting Common Pitfalls
ACM SIGPLAN via YouTube