Verifying software network functions with no verification expertise
Arseniy Zaostrovnykh, Solal Pirelli, Rishabh Iyer, Matteo Rizzo, Luis Pedrosa, Katerina Argyraki, George Candea[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 27th ACM Symposium on Operating Systems Principles
SOSP '19
Huntsville, Ontario, Canada
Association for Computing Machinery
New York, NY, USA
Pages 275-290
2019
Note(s): symbolic execution
SOSP '19
Huntsville, Ontario, Canada
Association for Computing Machinery
New York, NY, USA
Pages 275-290
2019
Note(s): symbolic execution