Detail publikace

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

ČEŠKA, M.; ANDRIUSHCHENKO, R.; ARND, H.; JUNGES, S.; KŘETÍNSKÝ, J. 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. p. 90-146. ISBN: 978-3-031-67694-9.
Název česky
Nástroje pro kvantitativní verifikaci
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Andriushchenko Roman, Ing. (UITS)
ARND, H.
JUNGES, S.
KŘETÍNSKÝ, J.
Klíčová slova

Quantitative verification, Markov chains, Markov decision processes, Timed
automata.  

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
DOI
10.1007/978-3-031-67695-6_4
EID Scopus
2-s2.0-85209935115
BibTeX 
@inproceedings{BUT196667,
  author="ČEŠKA, M. and ANDRIUSHCHENKO, R. and ARND, H. and JUNGES, S. and KŘETÍNSKÝ, J.",
  title="Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report",
  booktitle="International TOOLympics Challenge",
  year="2024",
  series="Lecture Notes in Computer Science",
  pages="90--146",
  publisher="Springer Nature Switzerland AG",
  address="Cham",
  doi="10.1007/978-3-031-67695-6\{_}4",
  isbn="978-3-031-67694-9"
}
Nahoru