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

Budde, Carlos E.; Hartmanns, Arnd; Klauck, Michaela; Křetínský, Jan; Parker, David; Quatmann, Tim; Turrini, Andrea; Zhang, Zhen

Cham : Springer International Publishing ; Cham : Imprint: Springer (2021)
Contribution to a book, Contribution to a conference proceedings

In: Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen
Page(s)/Article-Nr.: 216-241


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]