The QSL platform at LORIA - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

The QSL platform at LORIA


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.



Other [cs.OH]
Fichier principal
Vignette du fichier
A03-R-539.pdf (99.5 Ko) Télécharger le fichier

Dates and versions

inria-00099497 , version 1 (26-09-2006)


  • HAL Id : inria-00099497 , version 1


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. ⟨inria-00099497⟩
114 View
69 Download


Gmail Facebook Twitter LinkedIn More