Towards a Methodology for the Formal Hierarchical Verification.

Sofiène Tahar Ramayya Kumar

Published in: ICCD (1993)

Keyphrases

formal methods
formal model
formal analysis
model checking
hierarchical structure
coarse to fine
case study
formal specification
design methodology
functional verification
neural network
formal representation
face verification
mathematical models
web services
image processing
artificial intelligence