RUKIA - Random Uniform walK In Automata
Date of the last release: 01 January 2011

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/

Software - Licence : LGPL



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

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE