Il y a 10 Résultats pour : "preuve"
- ABSTRACTION - Interprétation abstraite et analyse statique
- CASSIS - Combinaison d'approches pour la sécurité des systèmes infinis
- COQ - Spécifications et preuves de programmes
- EPATR - Environnement de programmation d'applications temps réel
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- MOSEL - Développement prouvé de systèmes informatiques
- POMDAPI - Modélisation pour l'environnement, optimisation et modèles de programmation
- PROVAL - Preuve de programmes
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria
Inria.fr
Inria Channel