A Two-Phase Approach for Conditional Floating-Point Verification

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

Original language	English
Title of host publication	International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publication date	2021
DOIs	https://doi.org/10.1007/978-3-030-72013-1_3
Publication status	Published - 2021
Externally published	Yes

Access to Document

@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 -