Verification of Computer Switching Networks: An Overview [chapter]

Shuyuan Zhang, Sharad Malik, Rick McGeer
2012 Lecture Notes in Computer Science  
Formal verification has seen much success in several domains of hardware and software design.
doi:10.1007/978-3-642-33386-6_1 fatcat:jyp4ytxq4ralnafeq7yj4h2n64