Created in March 26, 2025
2025
Our static analzyer Goblint won the data race category at SV-COMP’25 🏅