package lutin

  1. Overview
  2. Docs

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.

Tags

clib:stdc clib:camlidl

Published: 23 Aug 2019

Dev Dependencies

None

Used by

None

Conflicts

None