Skip to search boxSkip to navigationSkip to main content

A Two-Phase Approach for Conditional Floating-Point Verification

  • Debasmita Lohar
    ,
  • Clothilde Jeangoudoux
    ,
  • Joshua Sobel
    ,
  • Eva Darulova
    ,
  • Maria Christakis
  • Max Planck Institute for Software Systems
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
 Peer-review

Original language

English

Publication milestones

  • Published - 2021

Publication status

Published - 2021

Publication IDs

  • ORCID: /0000-0001-8639-4116/work/91024830
  • Scopus: 85135383179

Host publication title

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

Publication metrics

PlumX, opens in new tab

Citations
4
Captures
3

Access to documents