Inventaire


Site en anglais

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)


ARTIST 2

Région wallonne - Autres U.E..

Artist 2 est un réseau d'excellence du 6ème programme cadre de l'Union Européenne sur le développement fiable de systèmes embarqués.  Nous partic ...

Centre Fédéré en Vérification

Fonds associés (toutes subventions, y compris la Loterie Nat.) - Autres U.E..

Le Centre Fédéré en Vérification est un groupe de travail qui regroupe les équipes de recherche actives en vérification assistée par ordinateur  ...

Superviseurs corrects, efficaces et robustes

Entreprises privées.

La mise au point d'un environnement de conception de logiciels de superviseurs et de contrôleurs industriels distribués conduit à de nombreux probl ...

Quasimodo: Propriétés quantitatives des systèmes dans la conception de systèmes embarqués à partir de modèles

Autres U.E..

Le but de Quasimodo est le développement de nouvelles techniques et de nouveaux outils pour la conception, l'analyse, le test et la génération de co ...

GASICS: théorie des jeux pour l'analyse et la synthèse de systèmes informatiques interactifs

Autres U.E..

Le projet GASICS étudie les formalisations à l'aide de la théorie des jeux des systèmes informatiques interactifs, et développe des algorithmes po ...

MOVES: modélisation, vérification et évolution de logiciel

PAI.

Voir http://moves.vub.ac.be/