What’s Decidable About Program Verification Modulo Axioms?

ανά Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Τόπος έκδοσης Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

ανά Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Τόπος έκδοσης Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

ανά Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Τόπος έκδοσης Computer Aided Verification (2020)