On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report.

Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang

Browse the full ISoLA paper archive.