lutinversion

Lutin: modeling stochastic reactive systems

Lutin is a language to model stochastic reactive systems. It has been initially designed to model environments and perform automated testing of reactive systems with Lurette.

Tags clib:stdc clib:camlidl
AuthorsErwan Jahier, Pascal Raymond, Bertrand Jeannnet (polka) and Yvan Roux
LicenseCeCILL-1.0+
Published
Homepagehttp://www-verimag.imag.fr/Lutin.html
Issue Trackerhttp://www-verimag.imag.fr/Lutin.html
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.56-fix.tgz
sha256=e916f8e4b65104b6911cb36fce7f4d5167ff15095d8fef95df46c3cabc74fae5
md5=282c7b3d0fa57385a6b4395239bc8e13
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lutin/lutin.2.56/opam
No package is dependent