What’s Decidable About Program Verification Modulo Axioms?

nork Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Argitaratua izan da Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

nork Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Argitaratua izan da Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

nork Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Argitaratua izan da Computer Aided Verification (2020)