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
Note(s): symbolic execution