The QSL platform at LORIA

Mohamed El Habib Claude Kirchner 1 Hélène Kirchner 1 Jean-Yves Marion 2 Stephan Merz 3
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The QSL project aims at the development of concepts, methods, techniques, and tools to increase the reliability and the quality of software intensive systems. Within this project, we are anticipating a platform of tools for validation and verification that ensures their availability, includes documentation and case studies, and eventually intends to foster the cooperation of different teams using different tools on common development projects.
Keywords : plateforme platform qsl
Type de document :
Communication dans un congrès
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099497
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:37:11
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:21:08

Fichiers

Identifiants

  • HAL Id : inria-00099497, version 1

Collections

Citation

Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz. The QSL platform at LORIA. First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003. 〈inria-00099497〉

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

35