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

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

doi:978-3-030-83722-8

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^RWTH* ; Turrini, Andrea ; Zhang, Zhen

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, Seiten/Artikel-Nr: 216-241

2021

Konferenz/Event:9. International Symposium on Leveraging Applications of Formal Methods , Rhodes , Greece , ISoLA 2020 , 2020-10-20 - 2020-10-30

ImpressumCham : Springer International Publishing ; Cham : Imprint: Springer

Umfang216-241

ISBN978-3-030-83722-8, 978-3-030-83723-5, 978-3-030-83724-2

ReiheLecture Notes in Computer Science ; 12479

Weitere Reihe: Theoretical Computer Science and General Issues ; 12479. - Konferenz verschoben

Online
DOI: 10.1007/978-3-030-83723-5_15
10.1007/978-3-030-83723-5_15

Einrichtungen

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English