Array Verification Methodology using Formal Techniques.

Neeta Ganguly Magdy S. Abadir Manish Pandey

Published in: ITC (1996)

Keyphrases

formal methods
formal analysis
model checking
formal specification
formal model
cryptographic protocols
design methodology
multiscale
programmable logic
database
formal representation
conceptual framework
website
image processing
social networks
learning algorithm
information retrieval
neural network