Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric (1999)

by Paul Curzon , Sofiène Tahar , Jianping Lu