788 search results - page 32 / 158 » Symbolic Equivalence Checking |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
IFE
2008
13 years 8 months ago
2008
TOSEM
2008
13 years 8 months ago
2008
MEMOCODE
2008
IEEE
14 years 3 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...
CSFW
2010
IEEE
13 years 12 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...