gisele-analysis
This project implements the formal analysis techniques available on the gisele process modeling language.
Activity
- Latest release
- 13y ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 0
Details
- First release
- Oct 16, 2012
Releases
This project implements the formal analysis techniques available on the gisele process modeling language.