promela (pypi): Parser and abstract syntax tree for the Promela modeling language.
Keywords: promela|parser|syntax|tree|ply|lex|yacc|parse|python