What’s Decidable About Program Verification Modulo Axioms?

le Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Foilsithe in Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

le Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Foilsithe in Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

le Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Foilsithe in Computer Aided Verification (2020)