8 citations · 8 across the 2 of their papers we have counts for
2 papers
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…
cs.SE2016★ 8 cited
The Probabilistic Model Checker Storm (Extended Abstract)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen +1
We present a new probabilistic model checker Storm. Using state-of-the-art libraries, we aim for both high performance and versatility. This extended abstract gives a brief overvie…