Toggle navigation
Création EP
Référentiel Structures
Fiches Equipes
Fiches Projets
BASTRI - Fiches Equipes
Base des structures de recherche Inria
Toggle navigation
Flux RSS
Vie des structures de recherche Inria
CRI BSO : vie des structures de recherche
CRI GRA : vie des structures de recherche
CRI LNE : vie des structures de recherche
CRI LYS : vie des structures de recherche
CRI NGE : vie des structures de recherche
CRI PRO : vie des structures de recherche
CRI RBA : vie des structures de recherche
CRI SAM : vie des structures de recherche
CRI SGE : vie des structures de recherche
CRI SIF : vie des structures de recherche
Equipes-projet, Equipes
Toutes les Equipes-projet, Equipes
Vue par centre
Vue par domaine/thème
Vue par Défi
Défis / Actions Exploratoires (AEx)
Défis en cours
Défis terminés
Actions Exploratoires en cours
Actions Exploratoires terminées
Exports Excel
Export Excel de toutes les structures
Export Excel des structures terminées
Export Excel des structures actives
Thème "Programmation, vérification et preuves"
Equipes actives uniquement
Merci de patienter ...
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
16 résultats
E
EVEREST (SR0178NR) - Environnements de vérification et sécurité du logiciel
F
FORMES (SR0340AR) - Méthodes Formelles pour les Systèmes Embarqués
L
LANDE (SR0126ZR) - Conception et validation de logiciels
M
MARS (SR0355WR) - modèles et Algorithmes pour la RéSolution de problèmes combinatoires
MEXICO (SR0358LR) - Modeling and Exploitation of Interaction and Concurrency
MIMOSA (SR0167HR) - Migration et mobilité : sémantique et applications
MOSCOVA (SR0075PR) - Mobilité, sécurité, concurrence, vérification et analyse
MOSEL (SR0057ZR) - Développement prouvé de systèmes informatiques
P
PAREO (SR0418ER) - Ilôts formels: fondements et applications
PI.R2 (SR0419MR) - Conception, étude et implémentation de langages pour les preuves et les programmes
PROSECCO (SR0502AR) - Programming securely with cryptography
PROVAL (SR0141OR) - Preuve de programmes
PROVAL (SR0512LR) - Proof of Programs
S
SECSI (SR0142GR) - Sécurité des systèmes d'information
SECSI (SR0565JR) - Sécurité des systèmes d'information
T
TYPICAL (SR0143IR) - Types, logique et calcul