BASTRI - Fiches Equipes

30 résultats

• A
• ABSTRACTION (SR0091IR) - Interprétation abstraite et analyse statique
• ANTIQUE (SR0605CR) - Analyse Statique par Interprétation Abstraite
• ANTIQUE (SR0695XR) - Analyse Statique par Interprétation Abstraite
• C
• CAMBIUM (SR0881NR) - Langages de programmation : systèmes de types, concurrence, preuve de programme
• CELTIQUE (SR0327HR) - Certification de logiciel par analyse sémantique
• CONVECS (SR0619CR) - Construction de systèmes concurrents vérifiés
• D
• DEDUCTEAM (SR0479ER) - Deduction modulo, interopérabilité et démonstration automatique
• DEDUCTEAM (SR0774GR) - DEDUCTEAM
• DEVINE (SR0953TR) - Vérification efficace pour des systèmes distribués fiables
• E
• EPICURE (SR0922AR) - Analyse sémantique et compilation pour la sécurité des environnements d'exécution
• ESTASYS (SR0610ER) - Efficient STAtistical methods in SYstems of systems
• G
• GALLINETTE (SR0785LR) - GALLINETTE
• GALLINETTE (SR0841VR) - Gallinette : vers une nouvelle génération d'assistant à la preuve
• GALLIUM (SR0093AR) - Langages de programmation, types, compilation et preuves
• M
• MARELLE (SR0179HR) - Mathématiques, Raisonnement et Logiciel
• MEXICO (SR0468FR) - Modeling and Exploitation of Interaction and Concurrency
• MOCQUA (SR0828JR) - Modèles de calcul émergents
• O
• OLAS (SR0949SR) - Fondements opérationnels, logiques et algébriques des systèmes logiciels
• P
• PARSIFAL (SR0140OR) - Recherche de preuve et raisonnement sur des spécifications logiques
• PARTOUT (SR0887MR) - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
• PI.R2 (SR0368UR) - Conception, étude et implémentation de langages pour les preuves et les programmes
• PICUBE (SR0932BR) - Les assistants à la démonstration au cœur du raisonnement mathématique
• Q
• QUACS (SR0913XR) - Structures de calcul quantique
• S
• STAMP (SR0883FR) - • Sûreté du logiciel et Preuves Mathématiques Formalisées
• SUMO (SR0559VR) - SUpervision of large MOdular and distributed systems
• SUMO (SR0671YR) - SUpervision of large MOdular and distributed systems
• T
• TEMPO (SR0629VR) - Trustworthy EMbedded PlatfOrms
• TOCCATA (SR0530HR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• TOCCATA (SR0646IR) - Certified Programs, Certified Tools, Certified Floating-Point Computations
• V
• VERIDIS (SR0524TR) - Modeling and Verification of Distributed Algorithms and Systems