All issues

Search results

Absorbing states in CTMC

Status: Open.

#1063 In stormchecker/storm;

· volkm opened on Sep 17, 2026

Incorrect result for simple model with negative rewards

Status: Open.

#1061 In stormchecker/storm;

· TheGreatfpmK opened on Sep 16, 2026

Early termination bugs in II, GVI and SVI

Status: Open.

#1058 In stormchecker/storm;

· lukovdm opened on Sep 15, 2026

Storm can almost model check weak until and release formulas. I see the following things missing for that (must not be part of this PR

Status: Open.

#1057 In stormchecker/storm;

· tquatmann opened on Sep 15, 2026

Use TraverseFormulaVisitor

Status: Open.

#1052 In stormchecker/storm;

· tquatmann opened on Sep 13, 2026

Warn on LTL formulas on CTMC

Status: Open.

#1046 In stormchecker/storm;

· volkm opened on Sep 8, 2026

Use precision for bound comparison in QuantitativeCheckResult

Status: Open.

#1045 In stormchecker/storm;

· volkm opened on Sep 8, 2026

Remove infinity sentinels from sylvan wrapper.

Status: Open.

#1043 In stormchecker/storm;

· lukovdm opened on Sep 7, 2026

Restructure storage directory

Status: Open.

#1033 In stormchecker/storm;

· volkm opened on Aug 21, 2026

·  

2.0

Missing extern templates

Status: Open.

#1021 In stormchecker/storm;

· sjunges opened on Aug 17, 2026

CI: linter not posting review comments

Status: Open.

#1020 In stormchecker/storm;

· volkm opened on Aug 17, 2026

Tests for globally properties on MDPs are missing

Status: Open.

#1011 In stormchecker/storm;

· sjunges opened on Aug 12, 2026