Search results

Combined CTMC Analysis

enhancementNew feature or requestNew feature or request

Status: Open.

#46 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jun 26, 2023

Replace several <code>bool</code> values in <code>ProbabilityState</code> with a single <code>uint8_t status</code> to save space.

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

optimization

Status: Open.

#44 In fluentverification/stamina-storm;

· ifndefJOSH opened on May 4, 2023

Actually deploy dockerized STAMINA to Azure

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In fluentverification/stamina-storm;

· ifndefJOSH opened on Aug 22, 2022

· 

Azure Deployment of STAMINA

Autobuild STORM in CMakeLists.txt

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#20 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jul 22, 2022

State Exploration Multithreading

enhancementNew feature or requestNew feature or request

optimization

Status: Open.

#17 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jul 7, 2022

· 

STAMINA 2.5 - STAMINA 2.0 with dynamic programming