Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel RUKIA
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

Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes