Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel CUBICLE
CUBICLE - A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
Date de dernière version : 01 janvier 2014

Responsable : CONCHON Sylvain






Logiciel



Activités de recherche

Membres
  CONCHON Sylvain
  MEBSOUT Alain

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library