SiRop

Meyer, Éléanore; Giesl, Jürgen; Greiwe, Sophia

doi:10.4230/artifacts.24333

Artifact

SiRop Software

Authors Éléanore Meyer , Jürgen Giesl , Sophia Greiwe

Part of: Collection: Supplementary Materials
License: GNU General Public License v3.0 only
Publication Date: 2025-08-20

Document Identifiers

DOI: 10.4230/artifacts.24333
URN: urn:nbn:de:0030-drops-243339

Author Details

Éléanore Meyer

RWTH Aachen University, Germany

Jürgen Giesl

RWTH Aachen University, Germany

Sophia Greiwe

RWTH Aachen University, Germany

Content

Software (Source Code): https://github.com/aprove-developers/SiRop
archived version

Version/Status

Content created at: 2025-04-14
Status: Concept (at the time of publication 2025-08-20)

Cite As Get BibTex

Éléanore Meyer, Jürgen Giesl, Sophia Greiwe. SiRop (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24333

Description

Our Tool “SiRop” implementing the algorithm described in “Deciding Termination of Simple Randomized Loops”

Subject Classification

Programming Languages

Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail