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

YouTube

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

ACM SIGPLAN via YouTube

Overview

Explore a groundbreaking 15-minute conference talk from OOPSLA1 2023 that introduces Outcome Logic (OL), a novel approach unifying correctness and incorrectness reasoning in program logics. Delve into how OL generalizes Hoare Logic, incorporating monadic and monoidal properties to capture computational effects and reason about outcomes and reachability. Discover how this unified theory expresses true positive bugs while maintaining correctness reasoning capabilities, and learn about its application to nondeterministic and probabilistic programs. Gain insights from the presenters' argument for OL as a new foundational theory in program verification, supported by proofs of its ability to disprove false specifications within its own framework.

Syllabus

[OOPSLA23] Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasonin...

Taught by

ACM SIGPLAN

Reviews

Start your review of Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

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.