HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00099497
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:37:11 AM
Last modification on : Friday, February 4, 2022 - 3:30:32 AM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:21:08 PM

Identifiers

  • 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. ⟨inria-00099497⟩

Share

Metrics

Record views

113

Files downloads

44