FLUENT Verification Project
FLUENT Verification Project
People
Events
Publications
Contact
Light
Dark
Automatic
4
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative …
Roman Andriushchenko
,
Alexander Bork
,
Carlos E. Budde
,
Milan Češka
,
Kush Grover
,
Ernst Moritz Hahn
,
Arnd Hartmanns
,
Bryant Israelsen
,
Nils Jansen
,
Josh Jeppson
,
Sebastian Junges
,
Maximilian A. Köhl
,
Bettina Könighofer
,
Jan Křetínský
,
Tobias Meggendorfer
,
David Parker
,
Stefan Pranger
,
Tim Quatmann
,
Enno Ruijters
,
Landon Taylor
,
Matthias Volk
,
Maximilian Weininger
,
Zhen Zhang
PDF
Cite
Cite
×