Bisimulation verification using the up to techniques.

Daniel Hirschkoff

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

model checking
cryptographic protocols
computer vision
multiscale
formal analysis
person identification
concurrent systems
functional verification