Programming Languages and Formal Methods

Checking δ-Satisfiability of Reals with Integrals
Cody Rivera, Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Project
Predictable Verification using Intrinsic Definitions
Adithya Murali, Cody Rivera, P. Madhusudan
PDF Cite Code Project
Predictable Automatic Verification
Using local, or intrinsic, definitions of data structures to develop a predictable verification paradigm.
Predictable Automatic Verification
Differential Privacy Verification
Using approximate solvers for non-linear real arithmetic to improve differential privacy verification.
Differential Privacy Verification