2 search results - page 1 / 1 » Behavioral Verification of an ATM Switch Fabric using Implic... |
96
Voted
ICCD
1996
IEEE
15 years 7 months ago
1996
IEEE
156
Voted
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...