Improving thread-modular abstract interpretation

DOI10.1007/978-3-030-88806-0_18zbMath1497.68122arXiv2108.07613OpenAlexW3209360353MaRDI QIDQ2145342

Vesal Vojdani, Helmut Seidl, Julian Erhard, Michael Schwarz, Simmo Saan, Kalmer Apinis

Publication date: 17 June 2022

Full work available at URL: https://arxiv.org/abs/2108.07613

zbMATH Keywords

concurrent systemsglobal invariantsside-effectscollecting trace semanticsthread-modular abstract interpretation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Goblint

Cites Work

• Unnamed Item
• A semantics for concurrent separation logic
• Resources, concurrency, and local reasoning
• Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
• Relational Thread-Modular Static Value Analysis by Abstract Interpretation
• Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
• Dataflow Analysis for Datarace-Free Programs
• Time, clocks, and the ordering of events in a distributed system
• Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
• Communicating State Transition Systems for Fine-Grained Concurrent Resources
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
• Computer Aided Verification
• Relational thread-modular abstract interpretation under relaxed memory models

This page was built for publication: Improving thread-modular abstract interpretation