Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

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

ACM SIGPLAN via YouTube

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

Reviews

Start your review of Domesticating Automation for Large-Scale Verification Systems - Dafny'24

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.