Learning-Enabled Verification of Distributed Systems with End-to-End Proofs
Federico Mora, University of California, Berkeley

Available at federico.morarocha.ca/quals. Navigate using 'a''s''d' keys
(use Firefox and adjust size by zooming)
Feb 21, 2023
Ph.D. Qualifying Examination