Final project for 15-424 Logical Foundations of Cyberphysical Systems
LenMegha_QB_Safety
: Final submission of deliverablesmodels
: Folder for Keymaera X modelsnotes
: Folder for Markdowns + PDF's such as notes, proposals, etcproof_contradiction
: Contradiction in our proof leading to possible soundness error?sketches
: Folder for scribbles used to brainstorm