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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)
Original languageEnglish
Title of host publicationLeveraging 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
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer International Publishing AG
Pages216-241
Number of pages26
ISBN (Electronic)978-3-030-83723-5
ISBN (Print)978-3-030-83722-8
DOIs
Publication statusPublished - 5 Aug 2021
Event9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020 - Virtual Event
Duration: 20 Oct 202030 Oct 2020
Conference number: 9

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume12479

Conference

Conference9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020
Abbreviated titleISoLA 2020
CityVirtual Event
Period20/10/2030/10/20

Cite this