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
23 Aug 2019
Sources
lutin.2.70.4-fix.tgz
md5=3b8375658938b3757ab2a14e5a54a51a
Dependencies
Reverse Dependencies