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
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.1007/978-3-030-83723-5_15
- RWTH PUBLICATIONS: RWTH-2021-10150