 |
Journal articles
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
Vassil Todorov 1, 2, 3
Author Employer institution : PSA Peugeot Citroën IdHAL : vassil-todorov ORCID : https://orcid.org/0000-0002-2739-499X
Safouan Taha 1, 4, 2
Author IdHAL : safouan-taha
Frédéric Boulanger 1, 4, 2
Author IdHAL : frederic-boulanger ORCID : https://orcid.org/0000-0003-3185-2807
Armando Hernandez 3
Author
1
LRI - Laboratoire de Recherche en Informatique (LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex - 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)
- CNRS - Centre National de la Recherche Scientifique : UMR8623 (France)
2
Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
3
Groupe PSA - Centre Technique de Vélizy [Vélizy-Villacoublay] (Route de Gisy, 78140 Vélizy-Villacoublay - France)
4
CentraleSupélec (3, rue Joliot Curie,
Plateau de Moulon,
91192 GIF-SUR-YVETTE Cedex - France)
Document type :
Journal articles
Complete list of metadatas
https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645
Contributor : Frédéric Boulanger <>
Submitted on : Monday, October 21, 2019 - 4:09:22 PM
Last modification on : Tuesday, January 12, 2021 - 10:42:04 AM
Contributor : Frédéric Boulanger <>
Submitted on : Monday, October 21, 2019 - 4:09:22 PM
Last modification on : Tuesday, January 12, 2021 - 10:42:04 AM
Links full text
Identifiers
- HAL Id : hal-02322645, version 1
- DOI : 10.31144/si.2307-6410.2019.n14.p45-54
Collections
CENTRALESUPELEC | CNRS | UMR8623 | LRI-MODHEL | TDS-MACS
Citation
Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT. System Informatics, 2019, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩. ⟨hal-02322645⟩
Metrics
Record views