Detail publikace

Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

ANDRIUSHCHENKO Roman, ARND Hartmanns, ČEŠKA Milan, JUNGES Sebastian a KŘETÍNSKÝ Jan a kol. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. In: International TOOLympics Challenge. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024, s. 90-146. ISBN 978-3-031-67694-9.
Název česky
Nástroje pro kvantitativní verifikaci
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Arnd Hartmanns
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Junges Sebastian (RWTH Aachen University)
a další
Abstrakt

Tento článek představuje výsledky soutěže nástrojů pro kvantitativní verifikaci QComp 2023: přehled současného stavu podpory nástrojů kvantitativní verifikace pro pokročilé typy a modely vlastností.

Rok
2024
Strany
90-146
Sborník
International TOOLympics Challenge
Řada
Lecture Notes in Computer Science
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'23, Paris, FR
ISBN
978-3-031-67694-9
Vydavatel
Springer Nature Switzerland AG
Místo
Cham, CH
DOI
10.1007/978-3-031-67695-6_4
EID Scopus
2-s2.0-85209935115
BibTeX 
@INPROCEEDINGS{FITPUB13363,
   author = "Roman Andriushchenko and Hartmanns Arnd and Milan \v{C}e\v{s}ka and Sebastian Junges and Jan K\v{r}et\'{i}nsk\'{y} and et al.",
   title = "Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report",
   pages = "90--146",
   booktitle = "International TOOLympics Challenge",
   series = "Lecture Notes in Computer Science",
   year = 2024,
   location = "Cham, CH",
   publisher = "Springer Nature Switzerland AG",
   ISBN = "978-3-031-67694-9",
   doi = "10.1007/978-3-031-67695-6\_4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13363"
}
Nahoru