Promela
The PROMELA library is an OCaml library providing types and functions to create, analyze and modify PROMELA programs as used by the Spin model checker.
[ Homepage ]
| Author: | Markus W. Weißmann. |
| Last modification date: | 10-Sep-2012 |
| Version: | 0.4 |
| Development status: | Beta |
| Kind: | Libraries :: Native OCaml libraries |
| License: | Open Source :: BSD |
| Topic: | Science :: Computing |
| Homepage: | http://promela.forge.ocamlcore.org/ |