The Modular Framework of Computer-Aided Verification.

Gil Shurek Orna Grumberg

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

computer aided
computer assisted
computer aided diagnosis
image analysis
reverse engineering
diagnosis of breast cancer
machine learning
image processing
object oriented
computer aided design
modular structure