What’s Decidable About Program Verification Modulo Axioms?

gan Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Cyhoeddwyd yn Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

gan Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Cyhoeddwyd yn Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

gan Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Cyhoeddwyd yn Computer Aided Verification (2020)