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
03 Nov 2022
Authors
Maintainers
Sources
lutin.v2.71.15.tgz
md5=a7da42464f4ad0619bc4e759f2defca3 sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb
Dependencies
Reverse Dependencies