Robert Rand
Robert Rand
Courses
Publications
Talks
Service
ChiQP Lab
CV
Light
Dark
Automatic
"Coq"
Models for Probabilistic Programs with an Adversary
Robert Rand
,
Steve Zdancewic
PDF
Slides
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
We introduce a Hoare-style logic for probabilistic programs, called VPHL, that has been formally verified in the Coq proof assistant. …
Robert Rand
,
Steve Zdancewic
PDF
Cite
Slides
DOI
Cite
×