What’s Decidable About Program Verification Modulo Axioms?

por Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

por Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Publicado no Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

por Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Publicado no Computer Aided Verification (2020)