Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
From MaRDI portal
Publication:3000591
DOI10.1007/978-3-642-19718-5_21zbMath1239.68021arXiv1203.3724MaRDI QIDQ3000591
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
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
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