This project implements the formal analysis techniques available on the gisele process modeling language.

Required Ruby Version

None

Authors

Bernard Lambeau

Versions

  1. 0.6.0

    1. source

      1. 0.6.0 source October 16, 2012 (25 KB)

SHA 256 checksum