| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Specification of UNIX Utilities
Nicolas Jeannerod
1
Claude Marché
2
Yann Régis-Gianas
3
Mihaela Sighireanu
1
Ralf Treinen
1
2
TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
3
PI.R2 - Design, study and implementation of languages for proofs and programs
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
Nicolas Jeannerod 1
Mail :
Author IdHAL : nicolas-jeannerod ORCID : https://orcid.org/0000-0003-1969-1246
Claude Marché 2
Mail :
Author IdHAL : claude-marche
Yann Régis-Gianas 3
Mail : Site :
Author
Mihaela Sighireanu 1
Mail :
Author IdHAL : mihaela-sighireanu ORCID : https://orcid.org/0000-0002-1925-089X
Ralf Treinen 1
Mail : Site :
Author
1
IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale (Université de Paris
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13 - France)
- UPD7 - Université Paris Diderot - Paris 7 : UMR_8243 (5 rue Thomas-Mann - 75205 Paris cedex 13 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR_8243 (France)
2
TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations (Université Paris-Sud ; Bâtiment 650 ; 91405 ORSAY CEDEX - France)
- LRI - Laboratoire de Recherche en Informatique (LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8623 (France)
- UP11 - Université Paris-Sud - Paris 11 (Bâtiment 300 - 91405 Orsay cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
3
PI.R2 - Design, study and implementation of languages for proofs and programs (France)
- UPD7 - Université Paris Diderot - Paris 7 (5 rue Thomas-Mann - 75205 Paris cedex 13 - France)
- CNRS - Centre National de la Recherche Scientifique (France)
- IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale (Université de Paris
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13 - France)
- UPD7 - Université Paris Diderot - Paris 7 : UMR_8243 (5 rue Thomas-Mann - 75205 Paris cedex 13 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR_8243 (France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Document type :
Reports
Complete list of metadatas
https://hal.inria.fr/hal-02321691
Contributor : Claude Marché <>
Submitted on : Monday, October 21, 2019 - 2:14:56 PM
Last modification on : Tuesday, April 21, 2020 - 1:11:57 AM
Document(s) archivé(s) le : Wednesday, January 22, 2020 - 2:42:50 PM
Contributor : Claude Marché <>
Submitted on : Monday, October 21, 2019 - 2:14:56 PM
Last modification on : Tuesday, April 21, 2020 - 1:11:57 AM
Document(s) archivé(s) le : Wednesday, January 22, 2020 - 2:42:50 PM
File
main.pdf
Files produced by the author(s)
Identifiers
- HAL Id : hal-02321691, version 1
Collections
CNRS | LARA | CENTRALESUPELEC | INRIA | UMR8623 | LRI-VALS | UNIV-PARIS7 | USPC | UNIV-PARIS-SACLAY | UP-SCIENCES
Citation
Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. Specification of UNIX Utilities. [Technical Report] ANR. 2019. ⟨hal-02321691⟩
Metrics
Record views
138
Files downloads