Formal Verification of HMQV Using ASM-SPV.

Danqing Huang Rui Xue Feng Liu Jianhua Peng Zhenju Zhao Dongyao Ji

Published in: IIH-MSP (2010)

Keyphrases

formal verification
active shape model
model checking
model checker
bounded model checking
symbolic model checking
program slicing
automated verification
active shape
polygonal approximation
shape model
segmentation algorithm
orders of magnitude
facial features
functional verification