Stanford University
Home
Events
Courses
People
Alumni
Publications
Tools
Affiliates and Sponsors
Center for Automated Reasoning at Stanford University
Events
Past
Formal Reasoning about Financial Systems Workshop
, September 1, 2022, [
video
]
Certora Prover 2 Day Workshop
, August 29-30, 2022, [
video
]
CENTAUR Annual Meeting
, July 13, 2022.