PRISM extension for deciding continuity of the probabilistic bisimilarity distance

Fatmi, Syyeda Zainab; Kiefer, Stefan; Parker, David; van Breugel, Franck

doi:10.4230/artifacts.27642

Artifact

PRISM extension for deciding continuity of the probabilistic bisimilarity distance Software

Authors Syyeda Zainab Fatmi , Stefan Kiefer , David Parker , Franck van Breugel

Part of: Collection: Supplementary Materials
License: GNU General Public License v2.0 only
Publication Date: 2026-08-24

Document Identifiers

DOI: 10.4230/artifacts.27642
URN: urn:nbn:de:0030-drops-276424

Author Details

Syyeda Zainab Fatmi

University of Oxford, UK

Stefan Kiefer

University of Oxford, UK

David Parker

University of Oxford, UK

Franck van Breugel

York University, Toronto, Canada

Content

Software: https://github.com/zainabfatmi/prism/tree/concur
archived version

Version/Status

Content created at: 2026-06-18

Cite As Get BibTex

Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel. PRISM extension for deciding continuity of the probabilistic bisimilarity distance (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.27642

Description

A fork of the PRISM model checker implementing an algorithm to compute the probabilistic bisimilarity distance and the algorithm presented in this paper to decide its continuity.

Subject Classification

Programming Languages

Java

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail