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 and Yvan Roux
LicenseCECILL-2.1
Published
Homepagehttp://www-verimag.imag.fr/Lutin.html
Issue Trackerhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/issues
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
StatisticsInstalled 6 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lutin/lutin.2.71.10/opam
Required by