Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software CUBICLE
CUBICLE - A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
Date of the last release: 01 January 2014

Person in charge : CONCHON Sylvain






Software



Research activities

Members
  CONCHON Sylvain
  MEBSOUT Alain

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata
Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE