Toggle navigation sidebar

User Guide
Examples
- Racetrack
API Documentation
- Momba Models
  - Context
  - Automata
  - Networks
  - Actions
  - Expressions
  - Properties
  - Types
  - Functions
  - Exceptions
- Exploration Engine
- JANI Models
- Analysis Interfaces
Feature Incubator
- JANI Extensions
  - Value Passing
  - Observations
- MOML
  - MOML Grammar
  - Syntax-Aware Macros

Tools

Modest Toolset
Storm

Features

Momba Gym
- Abstract Interface
- Generic Explorer

Development

Contributing
GitHub Repository

Toggle navigation

JANI Extensions

JANI Extensions¶

This part of the documentation describes extensions to the JANI model interchange format.

previous

Feature Incubator

next

Value Passing

© Copyright 2020-2022, Dependable Systems and Software Group, Saarland University.

Imprint | Hosted by GitHub – Privacy Policy.