Relational thread-modular static value analysis by abstract interpretation

DOI10.1007/978-3-642-54013-4_3MaRDI QIDQ2938060zbMATH OpenOpenAlexFDO

Authors Antoine Miné

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

zbMATH Keywords

abstract interpretationconcurrencyembedded programsrely-guarantee methodssafetystatic analysisverification

Mathematics Subject Classification ID

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)

Recommendations

• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• Improving thread-modular abstract interpretation
• Relational thread-modular abstract interpretation under relaxed memory models
• Static analysis of embedded real-time concurrent software with dynamic priorities
• On interference abstractions

Cited in

(11)

• Static analysis of embedded real-time concurrent software with dynamic priorities
• Improving thread-modular abstract interpretation
• Abstract interpretation with unfoldings
• Static analysis of run-time errors in embedded real-time parallel C programs
• Static analysis of communicating processes using symbolic transducers
• Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
• Three improvements to the top-down solver
• On interference abstractions
• Adversarial logic
• Relational thread-modular abstract interpretation under relaxed memory models
• Clustered relational thread-modular abstract interpretation with local traces

Describes a project that uses

Uses Software

• Octagon

This page was built for publication: Relational thread-modular static value analysis by abstract interpretation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938060)