Skip to main content

Ctrl+K

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

Repository
Open issue

.md

JANI Extensions

JANI Extensions#

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

previous

Feature Incubator

next

Value Passing

By Author name not set

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

Imprint | Hosted by GitHub – Privacy Policy.