RUKIA - Random Uniform walK In Automata
Date de dernière version : 01 janvier 2011

Responsable : GAUDEL Marie-Claude


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

Pour en savoir plus: http://rukia.lri.fr/

Logiciel - Licence : LGPL



Activités de recherche
  Vérification
  Test de Logiciels
  Model-Checking
  Algorithmes probabilistes
  Méthodes Formelles de Génie Logiciel
  Algorithmique de graphes

Membres
  GAUDEL Marie-Claude
  OUDINET Johan

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE