jani-spec.org - The JANI Specification

home > domains > jani-spec.org

Example domain paragraphs

The JANI specification defines the jani-model model interchange format and the jani-interaction tool interaction and automation protocol. Its goal is to reduce the effort required to develop verification tools and to foster tool interoperation and comparison. JANI data is encoded using the JSON data format, which makes it simple to parse and easy to extend. It is specified using the js-schema language and library.

JANI is focused on, but not limited to, quantitative verification of probabilistic models. Standard labelled transition systems or Kripke structures can be represented in jani-model, and the jani-interaction protocol can be used with any modelling formalism with a textual representation.

To refer to JANI in scientific publications, please cite the following paper:

Links to jani-spec.org (2)



© example3.com 2024