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
- Authors
-
- Maintainers
-
Sources
lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
Dependencies
rdbg
>= "1.196.9"
dune
>= "2.0"
lutils
>= "1.49"
extlib-compat
build
extlib
build
base-unix
build
conf-perl
build
conf-m4
build
Reverse Dependencies