Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.

Michel Langevin, Sofine Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny

Browse the full ICCD paper archive.