32.jpg)
56.jpg)
MIST
Patent number:
No items found.
MIST is a tool to check safety properties against Petri Net like models. It implements a variety of search algorithms.
Countries:
Spain
Regions:
Community of Madrid
Centers:
FUNDACION IMDEA SOFTWARE
Other entities:
Sectors:
Telecom
Subsectors:
TRL Level:
TRL 3 – experimental proof of concept
BRL Level:
PDF Link:
Download hereVideo Link:
Watch it hereSustainable Development Goal:
Applications
Even though MIST has its own input format there it can be translated from other formats (using, for instance, tttrans) mist also ships with Python scripts to run mist over sets of benchmarks and an infrastructure producing bar graphs using d3js with runtime and memory consumption information.
Comments
Open source software registration at US Copyright Office