PV3 Modest Toolseta collection of stochastic model checkers

Toolset for modelling and analysis of hybrid, real-time distributed and stochastic systems

Application domain/field

Type of tool

Combination of several tools include model checkers and translators.

Expected input

Format:

Modest toolset (own) format or JANI format.

Internals

The tool consists of the following tools:

Comments

Framework Model checking

Links

Last commit date

9 July 2021

Related papers

Last publication date

2020

Related tools

This toolset includes the model checker mcsta.

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.