Cody Rivera
Cody Rivera
Home
News
Projects
Publications
Contact
Light
Dark
Automatic
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.
Differential Privacy Verification
Using approximate solvers for non-linear real arithmetic to improve differential privacy verification.
Cite
×