lutin

Lutin: modeling stochastic reactive systems
Description

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.

Install
Published
01 Aug 2018
Sources
lutin.2.56-fix.tgz
md5=282c7b3d0fa57385a6b4395239bc8e13
Dependencies
rdbg
>= "1.170" & <= "1.184.1"
ocamlbuild
build & != "0.9.0"
oasis-mirage
build & >= "0.4.7"
oasis
build & >= "0.4.7"
lutils
>= "1.9" & < "1.48"
extlib
build
conf-m4
build
ocaml
>= "4.02" & < "4.12"
Reverse Dependencies