package lutin
Lutin: modeling stochastic reactive systems
Install
Authors
Maintainers
Sources
lutin.v2.71.15.tgz
md5=a7da42464f4ad0619bc4e759f2defca3
sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb
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.
Dependencies (22)
Dev Dependencies
Used by (1)
Conflicts
On This Page