@inproceedings{7b25c360c8e24754bcb18c68c56f64e6,
title = "Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution)",
abstract = "Goblint is a static analysis framework for C programs specializing in data race analysis. It relies on thread-modular abstract interpretation where thread interferences are accounted for by means of flow-insensitive global invariants.",
author = "Simmo Saan and Michael Schwarz and Kalmer Apinis and Julian Erhard and Helmut Seidl and Ralf Vogler and Vesal Vojdani",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2021.; 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021 ; Conference date: 27-03-2021 Through 01-04-2021",
year = "2021",
doi = "10.1007/978-3-030-72013-1_28",
language = "English",
isbn = "9783030720124",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "438--442",
editor = "Groote, {Jan Friso} and Larsen, {Kim Guldstrand}",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021",
}