Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Tools at the Frontiers of Quantitative Verification
Roman Andriushchenko, Alexander Bork, Carlos E. Budde +20
The analysis of formal models that include quantitative aspects such as timing or probabilistic choices is performed by quantitative verification tools. Broad and mature tool suppo…
cs.LO2024
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Frédéric Lang, Matthias Volk
This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on T…