Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
DOI10.1007/978-3-319-52234-0_21zbMath1484.68050OpenAlexW2569507975MaRDI QIDQ2961579
Publication date: 21 February 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01490178/file/vmcai17.pdf
concurrent programsabstract interpretationprogram verificationrely-guarantee methodsnumeric invariant generationthread-modular analyses
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Local proofs for global safety properties
- Myths about the mutual exclusion problem
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
- Thread-Modular Verification Is Cartesian Abstract Interpretation
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- A new solution of Dijkstra's concurrent programming problem
- On the verification problem for weak memory models
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
