Relational Thread-Modular Static Value Analysis by Abstract Interpretation
From MaRDI portal
Publication:2938060
DOI10.1007/978-3-642-54013-4_3zbMath1428.68119OpenAlexW175092372MaRDI QIDQ2938060
Publication date: 13 January 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54013-4_3
verificationsafetystatic analysisconcurrencyabstract interpretationembedded programsrely-guarantee methods
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Improving thread-modular abstract interpretation ⋮ Static analysis of embedded real-time concurrent software with dynamic priorities ⋮ Three improvements to the top-down solver ⋮ Adversarial logic ⋮ Static Analysis of Communicating Processes Using Symbolic Transducers ⋮ Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
Uses Software