Scaling network verification using symmetry and surgery

DOI10.1145/2837614.2837657zbMath1347.68237OpenAlexW2278179621MaRDI QIDQ2828246

Nikolaj Bjørner, Andrey Rybalchenko, Nuno P. Lopes, George Varghese, Gordon D. Plotkin

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/23194728/symmetry_popl15.pdf

zbMATH Keywords

symmetriessemanticsnetwork verification

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Efficient SMT-based network fault tolerance verification

This page was built for publication: Scaling network verification using symmetry and surgery