LINA
Equipe
COLOSS
Projet COSTO (Component Study Toolkit)
Description :
COSTO est une plateforme pour spécifier et analyser formellement des
composants logiciels.
Nous éloborons cette plateforme avec les outils associés pour
expérimenter l'étude formelle des composants.
Publications :
Participants :
Equipe COLOSS
Téléchargement d'outils :