Verification of Computer Switching Networks: An Overview.

Shuyuan Zhang, Sharad Malik, Rick McGeer

Browse the full ATVA paper archive.