Modeling and verification of industrial flash memories.

Sandip Ray Jayanta Bhadra Thomas Portlock Ronald Syzdek

Published in: ISQED (2010)

Keyphrases

model checking
learning algorithm
case study
digital libraries
industrial applications
modeling method
computational modeling
database
image processing
distributed systems
formal methods
formal verification
cryptographic protocols
colored petri nets