SAT based verification of network data planes

DOI10.1007/978-3-319-02444-8_43MaRDI QIDQ5166716zbMATH OpenOpenAlexFDO

Authors Shuyuan Zhang, Sharad Malik

Publication date 8 July 2014

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-02444-8_43

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10)

Recommendations

• NetKAT -- a formal system for the verification of networks
• SDN-actors: modeling and verification of SDN programs
• Actor-based model checking for software-defined networks
• Model checking data flows in concurrent network updates
• Computational verification of network programs in Coq

Cited in

(7)

• Model checking data flows in concurrent network updates
• Actor-based model checking for software-defined networks
• SDN-actors: modeling and verification of SDN programs
• Efficient verification of network fault tolerance via counterexample-guided refinement
• Efficient SMT-based network fault tolerance verification
• Scaling network verification using symmetry and surgery
• NetKAT -- a formal system for the verification of networks

This page was built for publication: SAT based verification of network data planes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166716)