SIFT Formal Methods Poster for DARPA Resilient Software Systems Symposium

Summary of SIFT formal methods work including the HyCIRCA, P-CIRCA, Quiksilver, and MATRICS projects. Focuses on correct-by-construction hybrid controller synthesis, hybrid verification, and probabilistic verification.