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

DOI10.1007/978-3-642-19718-5_21zbMath1239.68021arXiv1203.3724OpenAlexW1531955077MaRDI QIDQ3000591

Antoine Miné

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.3724

zbMATH Keywords

static analysisparallel programsabstract interpretationrun-time errors

Mathematics Subject Classification ID

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

Related Items (5)

Model Checking Concurrent Programs ⋮ Static analysis of embedded real-time concurrent software with dynamic priorities ⋮ Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions ⋮ Verification of concurrent programs using Petri net unfoldings ⋮ Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free

Uses Software

• Octagon
• ASTREE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• An axiomatic proof technique for parallel programs
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Proving the Correctness of Multiprocess Programs
• Time, clocks, and the ordering of events in a distributed system
• On the verification problem for weak memory models
• The Java memory model
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems

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