About

A parser for the Promela modeling language. PLY (Python lex-yacc) is used to generate the parser. Classes for a Promela abstract tree are included and used for representing the result of parsing.

A short tutorial can be found in the file doc.md. To install:

pip install promela

License

3-clause BSD, see the file LICENSE.