A Two-Phase Approach for Conditional Floating-Point Verification

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Originalsprog	Engelsk
Titel	International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publikationsdato	2021
DOI	https://doi.org/10.1007/978-3-030-72013-1_3
Status	Udgivet - 2021
Udgivet eksternt	Ja

Adgang til dokumentet

@inbook{0ff3a611c0d543198e27454d6c7b3dff,

title = "A Two-Phase Approach for Conditional Floating-Point Verification",

author = "Debasmita Lohar and Clothilde Jeangoudoux and Joshua Sobel and Eva Darulova and Maria Christakis",

year = "2021",

doi = "10.1007/978-3-030-72013-1\_3",

language = "English",

booktitle = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",

}

TY - CHAP

T1 - A Two-Phase Approach for Conditional Floating-Point Verification

AU - Lohar, Debasmita

AU - Jeangoudoux, Clothilde

AU - Sobel, Joshua

AU - Darulova, Eva

AU - Christakis, Maria

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-72013-1_3

DO - 10.1007/978-3-030-72013-1_3

M3 - Book chapter

BT - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

ER -