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)