Gupta, Aarti

A survey of recent advances in SAT-based formal verification

Prasad, M. R., Biere, A., & Gupta, A. (2005) · International Journal on Software Tools for Technology Transfer

Formal Methods in VerificationLogic, programming, and type systems

Cited by 279

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R., & Walker, D. (2017) · Proceedings of the Conference of the ACM Special Interest Group on Data Communication

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 262