Efficient modeling of embedded memories in bounded model checking

Computer Science

• Model Checking 100%
• embedded memory 100%
• Memory Access 66%
• Memory Interface 66%
• Memory Model 33%
• Abstract Interpretation 33%
• Memory Array 33%
• Software Design 33%
• Memory Abstraction 33%
• Exclusivity 33%
• False Negative 33%
• Memory Location 33%

Keyphrases

• Handle Design 33%