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

DOI10.1007/978-3-642-19718-5_21zbMath1239.68021arXiv1203.3724MaRDI 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 analysis; parallel programs; abstract interpretation; run-time errors

Mathematics Subject Classification ID

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

Related Items

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

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