| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 24 Nov 2025 08:32:44 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"6924182c-7467"
expires: Tue, 30 Dec 2025 07:08:19 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 19BB:328FD3:9C44A6:AF7944:6953780B
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 06:58:19 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210031-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767077900.585307,VS0,VE204
vary: Accept-Encoding
x-fastly-request-id: eed68fa3ebb10e0cbf006e94ebe1d94e523860a7
content-length: 3746
Storm -- A Modern Probabilistic Model Checker -- Home
- News
- About
- Getting Started
-
Documentation
- Obtain Storm
- Installing Dependencies
- Build from Source
- Manual Configuration
- Install via Homebrew
- Use Docker Container
- Troubleshooting
- Background
- Models
- Languages
- Properties
- Engines
- Use Storm
- Running Storm
- Running Storm on DFTs
- Running Storm on Parametric Models
- Troubleshooting
- Develop with Storm
- Develop with Storm
- Tutorials
- Publications
- Benchmarks
Description
Storm is a tool for the analysis of systems involving random or probabilistic phenomena. Given an input model and a quantitative specification, it can determine whether the input model conforms to the specification. It has been designed with performance and modularity in mind.
Modeling formalisms
Storm is built around discrete- and continuous-time Markov models:
- Discrete-time Markov Chains
- Markov Decision Processes
- Continuous-time Markov Chains
- Markov Automata
- Parametric Markov Models
- Partially Observable Markov Models
Input languages
Storm supports several types of input:
- PRISM
- JANI
- GSPNs
- DFTs
- explicit
Properties
Supported model checking queries include
- Reachability and Reach-Avoid Probabilities
- PCTL, CSL, and LTL Specifications
- Expected Accumulated Rewards
- Long-run Average Rewards
- Conditional Probabilities
- Multi-objective Analysis
News
11 September 2025
New version 1.11.0
We are happy to announce the next releases of Storm and stormpy in version 1.11.0.
02 June 2025
New version 1.10.0
We are happy to announce the next releases of Storm and stormpy in version 1.10.0.
23 August 2024
New version 1.9.0
We are happy to announce the next releases of Storm and stormpy in version 1.9.0.