Gisele::Analysis

Formal analysis techniques for the gisele process modeling language.

Links

Name		Name	Last commit message	Last commit date
Latest commit History 108 Commits
lib		lib
spec		spec
tasks		tasks
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
Gemfile		Gemfile
Gemfile.lock		Gemfile.lock
LICENCE.md		LICENCE.md
Manifest.txt		Manifest.txt
README.md		README.md
Rakefile		Rakefile
gisele-analysis.gemspec		gisele-analysis.gemspec
gisele-analysis.noespec		gisele-analysis.noespec