promela
PyPI page
Home page
Author:
Ioannis Filippidis
License:
BSD
Summary:
Parser and abstract syntax tree for the Promela modeling language.
Latest version:
0.0.4
Required dependencies:
networkx
|
ply
Downloads last day:
0
Downloads last week:
8
Downloads last month:
42