Simulated verification of NC part programs from 2D images.

S. Srinivasa Rao B. Satyanarayana M. M. M. Sarcar

Published in: Int. J. Comput. Integr. Manuf. (2011)

Keyphrases

symbolic execution
hardware designs
model checking
computer vision
computer programs
database
databases
social networks
similarity measure
face verification
formal methods
programming environment
formal verification
provably correct
concurrent systems