A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that model). The technology used here is based on research on geometric semantics by the authors and ators [1]. It has been implemented in a abstract interpretation based static analyzer (ALCOOL), and we show some preliminary results and benchmarks.

• Type: Conference
• Year: 2005
• Where: CONCUR
• Authors: Eric Goubault, Emmanuel Haucourt
• Keywords: Abstract Interpretation, CONCUR 2005, Geometric Semantics, Simple Shared Memory