-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
State generation gets stuck when analyzing inverted until property
bugSomething isn't workingSomething isn't workingStatus: Open.#12 In fluentverification/stamina-prism;Lower and upper bound not including the correct probability
bugSomething isn't workingSomething isn't workingStatus: Open.#11 In fluentverification/stamina-prism;Add a tutorial on using options supported by STAMINA
good first issueGood for newcomersGood for newcomersStatus: Open.#9 In fluentverification/stamina-prism;Exception in selecting Gauss-Seidel and power options for CTMC analysis
bugSomething isn't workingSomething isn't workingStatus: Open.#7 In fluentverification/stamina-prism;Track the largest value of each species during state exploration
enhancementNew feature or requestNew feature or requestStatus: Open.#4 In fluentverification/stamina-prism;