Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

96

Voted

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 8 months ago

Efficient Modeling of Embedded Memories in Bounded Model Checking

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

Real-time Traffic

CAV 2004 | Formal Methods |

claim paper

Related Content

» Bounded Model Checking with QBF

» Efficient state space exploration Interleaving stateless and statebased model checking

» Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models A Case Study

» SMTBased Bounded Model Checking for Embedded ANSIC Software

» Continuous Verification of Large Embedded Software Using SMTBased Bounded Model Checking

» SMTbased bounded model checking for multithreaded software in embedded systems

» Verification of Embedded Memory Systems using Efficient Memory Modeling

» Efficient Distributed SAT and SATBased Distributed Bounded Model Checking

» SpaceEfficient Bounded Model Checking

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	CAV
Authors	Malay K. Ganai, Aarti Gupta, Pranav Ashar

Comments (0)