Prasad, Mukul R.

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

Delta-Net: real-time network verification using atoms

Horn, A., Kheradmand, A., & Prasad, M. R. (2017) · arXiv

Software-Defined Networks and 5GNetwork Packet Processing and Optimization

Cited by 56