Announcement_12

Our team won a Recognition Award from Huawei for the performance of Goblint on industrial benchmarks submitted to SV-COMP’25 by their Dresden Research Center. 🏆