RubyGems Navigation menu

gisele-analysis 0.6.0

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

Versions:

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

Runtime Dependencies (4):

  • cudd-rb ~> 0.0.2
  • gisele-language ~> 0.6.0
  • stamina-core ~> 0.6.1
  • yargi ~> 0.2.0
  • Development Dependencies (3):

  • letters ~> 0.3.1
  • rake ~> 0.9.2
  • rspec ~> 2.11
  • Owners:

    Authors:

    • Bernard Lambeau

    SHA 256 checksum:

    23b0ea86901eca04bc21548d8559aec6fb6c95f9176df3c24b8406ae7a5d3be5

    Total downloads 2,882

    For this version 2,882

    Gemfile:
    = Copy to clipboard Copied!

    install:
    =

    Licenses:

    N/A

    Required Ruby Version: None

    Links: