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
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library