What’s Decidable About Program Verification Modulo Axioms?

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

Decidable Synthesis of Programs with Uninterpreted Functions

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

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

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