Scaling network verification using symmetry and surgery.

Gordon D. Plotkin, Nikolaj S. Bjrner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese

Browse the full POPL paper archive.