Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

DOI10.2168/LMCS-8(1:26)2012zbMath1238.68048MaRDI QIDQ2881094

Antoine Miné

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

static analysisparallel programsabstract interpretationrun-time errors

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

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

• ASTREE

This page was built for publication: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs