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 metadatas

https://hal.inria.fr/inria-00099497
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:37:11 AM
Last modification on : Thursday, January 11, 2018 - 6:19:58 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

275

Files downloads

45