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

Document Versions

Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric –Paul Curzon , Sofiène Tahar , Jianping Lu — 1999
Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric –Paul Curzon, Sofiène Tahar, Jianping Lu