SAT based verification of network data planes
Publication Year
2013
Type
Conference Paper
Conference Name
International Symposium on Automated Technology for Verification and Analysis
Publisher
Springer International Publishing