news
| Feb 4, 2023 | 🏆 Goblint won the data race category in SV-COMP 2023 (results). |
|---|---|
| Jan 16, 2023 | 📄 Published preprint Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. |
| Sep 21, 2022 | 📄 Published preprint Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. |
| Mar 30, 2022 | 🏆 Goblint was the most correct and greenest verifier in SV-COMP 2022 (report). |