Storm
Probabilistic model checking is a popular technique for analysing certain mathematical models, often used to describe systems where uncertainties about their behaviour play a significant role. The model checker Storm is a fast and widely used open-source software originally designed for experts in model checking.
Sebastian Junges: 'In practice, it turned out that researchers from various disciplines, from biology to physics, use the Storm software, even for applications we hadn't anticipated. Within the StormAE project, we aim to improve the software's interfaces and explanations so that more researchers can use the model checker Storm correctly. Additionally, with this NWO grant, we will also develop interactive educational materials to teach students how probabilistic model checking works.'
About the NWO Open Science Fund
The NWO Open Science Fund supports projects aimed at applying and promoting open science practices. In the 2023 round, funding was awarded to 30 projects.