Modular Verification of SRT Division.

Harald Rueß Natarajan Shankar Mandayam K. Srivas

Published in: CAV (1996)

Keyphrases

model checking
square root
free space
website
face verification
formal verification
multiscale
database
evolutionary algorithm
formal methods
fingerprint verification
modular architecture
high security
verification method