JANI

Format for quantitative verification of probabilistic models. https://jani-spec.org/
Specification format

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.