CONVINCE Model Checking Components

0.1.0

Installation
Tutorials
How To Guides
SCXML to JANI Conversion
API
- as2fm
Contacts

CONVINCE Model Checking Components

API
as2fm
as2fm.jani_visualizer
as2fm.jani_visualizer.visualizer
View page source

as2fm.jani_visualizer.visualizer

Classes

PlantUMLAutomata(jani_dict)

This represents jani automata in plantuml format.

Previous Next

© Copyright 2024.

Built with Sphinx using a theme provided by Read the Docs.