PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov; Safouan Taha; Frédéric Boulanger; Armando Hernandez

doi:10.31144/si.2307-6410.2019.n14.p45-54

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov ^{1, 2, 3} Safouan Taha ^{1, 4, 3} Frédéric Boulanger ^{1, 4, 3} Armando Hernandez ²

1 LRI - Laboratoire de Recherche en Informatique

2 PSA - PSA Peugeot Citroën

3 Université Paris-Saclay

4 CentraleSupélec

Document type :

Journal articles

Domain :

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

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 : Monday, January 13, 2020 - 1:17:03 AM

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Links full text

Identifiers

Collections

Citation

Export

Metrics

14

Contact

Informations

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

14

Contact

Informations