Home
>
Research results
> Software & patents
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
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
> more software & patents
