154
Voted
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...