Efficient Modeling of Embedded Memories in Bounded Model Checking.

Malay K. Ganai Aarti Gupta Pranav Ashar

Published in: CAV (2004)

Keyphrases

bounded model checking
cost effective
case study
computationally efficient
computationally expensive
embedded systems
database
data sets
lightweight