Rukia est une bibliothèque C++ pour l'exploration de modèles, ayant une représentation graphique, par un tirage aléatoire uniforme de chemins dans des automates.

Plus d'informations sur le site web de Rukia