Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, Raphaël Monat. Comparing Transparent Static Analyzers with Open Verification Dashboard. In Robbert Krebbers, Alexandra Silva 0001, editors, 40th European Conference on Object-Oriented Programming, ECOOP 2026, Brussels, Belgium, June 29 - July 3, 2026. Volume 372 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.