RUKIA - Random Uniform walK In Automata
27 August 2009

Person in charge : GAUDEL Marie-Claude


A library to explore models, based on a graphical representation, by drawing uniformly at random paths in automata

More information: http://rukia.lri.fr/

- Licence : LGPL

Escrow Agency : APP

Research activities
  Verification
  Software Testing
  Model-Checking
  Randomized algorithms
  Formal Methods for Software Engineering
  Graph algorithms

Members
  GAUDEL Marie-Claude
  OUDINET Johan

Group
  Verification of Algorithms, Languages and Systems

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé