Efficient Modeling of Embedded Memories in Bounded Model Checking
No abstract available.
DOI 10.1007/978-3-540-27813-9_34
Related papers
- Analysing memory resource bounds for low-level programs ISMM 2008
- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study CAV 2006
- Kater: Automating Weak Memory Model Metatheory and Consistency Checking POPL 2023
- Partial Orders for Efficient Bounded Model Checking of Concurrent Software CAV 2013
- Static Analysis of Memory Models for SMT Encodings OOPSLA 2023
- Simple Is Better: Efficient Bounded Model Checking for Past LTL VMCAI 2005
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- Precise and efficient static array bound checking for large embedded C programs PLDI 2004