http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

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

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85115151033
WOS Core Collection: WOS:001437190400016
OpenAlex: W3085339312

Interne Identnummern
RWTH-2021-10150
Datensatz-ID: 834796

Beteiligte Länder
Germany, Netherlands, Peoples R China, UK, USA