A Aralex Aachen research explorer

April 06, 2004 article

Probabilistic symbolic model checking with PRISM: a hybrid approach

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-004-0140-2 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 440

Probabilistic Model Checking Taken by Storm
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

246

citations

2 results

References 0