openpromela

PyPI page
Home page
Author: Ioannis Filippidis
License: BSD
Summary: Generalized reactive(1) synthesis from Promela specifications.
Latest version: 0.1.0


Downloads last day: 0
Downloads last week: 5
Downloads last month: 18