CHIARI, MICHELE
CHIARI, MICHELE
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
2020-01-01 Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2019-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2022-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions | 1-gen-2020 | Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo | |
| Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification | 1-gen-2019 | Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta | |
| Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification | 1-gen-2022 | Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta |