openpromela (pypi): Generalized reactive(1) synthesis from Promela specifications.
Keywords: ltl|multi-paradigm-specifications|promela|synthesis