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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 03 Nov 2022
- Authors
- Maintainers
Sources
lutin.v2.71.15.tgz
md5=a7da42464f4ad0619bc4e759f2defca3
sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb
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
ocaml
>= "4.05"
Reverse Dependencies