Search results

State generation gets stuck when analyzing inverted until property

bugSomething isn't workingSomething isn't working

Status: Open.

#12 In fluentverification/stamina-prism;

· zgzn opened on May 30, 2020

Lower and upper bound not including the correct probability

bugSomething isn't workingSomething isn't working

Status: Open.

#11 In fluentverification/stamina-prism;

· zgzn opened on Apr 21, 2020

Add a tutorial on using options supported by STAMINA

good first issueGood for newcomersGood for newcomers

Status: Open.

#9 In fluentverification/stamina-prism;

· zgzn opened on Apr 14, 2020

Exception in selecting Gauss-Seidel and power options for CTMC analysis

bugSomething isn't workingSomething isn't working

Status: Open.

#7 In fluentverification/stamina-prism;

· zgzn opened on Apr 3, 2020

Track the largest value of each species during state exploration

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In fluentverification/stamina-prism;

· zgzn opened on Mar 22, 2020