What’s Decidable About Program Verification Modulo Axioms?

Autor Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh
Vydáno v Tools and Algorithms for the Construction and Analysis of Systems (2020)

Decidable Synthesis of Programs with Uninterpreted Functions

Autor Krogmeier, Paul, Mathur, Umang, Murali, Adithya, Madhusudan, P., Viswanathan, Mahesh
Vydáno v Computer Aided Verification (2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling

Autor Roohi, Nima, Wang, Yu, West, Matthew, Dullerud, Geir E., Viswanathan, Mahesh
Vydáno v Computer Aided Verification (2020)