Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
From MaRDI portal
Publication:2881094
DOI10.2168/LMCS-8(1:26)2012zbMath1238.68048MaRDI QIDQ2881094
Publication date: 3 April 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items (3)
Improving thread-modular abstract interpretation ⋮ Three improvements to the top-down solver ⋮ Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
Uses Software
This page was built for publication: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs