OCaml Forge

Project description

The PROMELA OCaml library provides types to create, manipulate and to reason about PROMELA programs. The OCaml data structures can finally be converted to their textual representation with a pretty-printer to be used with the SPIN model checker.

Latest File Releases
Package Version Date Notes Monitor Download
promela 0.4.2 October 17, 2012 promela - Release Notes promela - Monitor this package promela 0.4.2 - Download
dppgenerator dppgenerator 1.0.0 September 3, 2012 dppgenerator - Release Notes dppgenerator - Monitor this package dppgenerator dppgenerator 1.0.0 - Download
spinmodel spinmodel 1.0.0 September 3, 2012 spinmodel - Release Notes spinmodel - Monitor this package spinmodel spinmodel 1.0.0 - Download
Public Areas
Tracker Tracker
 Mailing Lists (1 public mailing list)
 Surveys (0 surveys)
 SCM Repository (SVN: 0 commits, 3 adds)
Latest News
No News Items Found