What’s Decidable About Program Verification Modulo Axioms?

Tekijä Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Julkaisussa Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

Tekijä Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Julkaisussa Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

Tekijä Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Julkaisussa Computer Aided Verification (2020)