What’s Decidable About Program Verification Modulo Axioms?

von Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Veröffentlicht in Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

von Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Veröffentlicht in Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

von Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Veröffentlicht in Computer Aided Verification (2020)