What’s Decidable About Program Verification Modulo Axioms?

od Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Izdano u Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

od Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Izdano u Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

od Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Izdano u Computer Aided Verification (2020)