Modeling and Verification of Memory Architectures with AADL and REAL.

Stéphane Rubini Frank Singhoff Jérôme Hugues

Published in: ICECCS (2011)

Keyphrases

memory usage
model checking
random access
databases
real life
database
data sets
machine learning
artificial intelligence
search engine
mobile robot
object oriented
formal methods
memory size