Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Inferring Interval-Valued Floating-Point Preconditions

Reviewed Paper In Proceedings
Author(s):Jonas Krämer, Lionel Blatter, Eva Darulova, and Mattias Ulbrich
In:28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), held as part of ETAPS 2022: European Joint Conferences on Theory and Practice of Software
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:13243
Part:I
Year:2022
Pages:303-321
Preprint/PDF:tacas22.pdf
URL:https://doi.org/10.1007/978-3-030-99524-9_16
DOI:10.1007/978-3-030-99524-9_16
Links:Evaluated Artifact

Note

Open Access

BibTeX

@inproceedings{KramerBDDUlbrich22,
  author    = {Jonas Kr{\"{a}}mer and
               Lionel Blatter and
               Eva Darulova and
               Mattias Ulbrich},
  editor    = {Dana Fisman and
               Grigore Rosu},
  title     = {Inferring Interval-Valued Floating-Point Preconditions},
  booktitle = {28th International Conference on Tools and Algorithms for
               the Construction and Analysis of Systems ({TACAS} 2022),
               held as part of {ETAPS} 2022: European Joint Conferences
               on Theory and Practice of Software},
  series    = {Lecture Notes in Computer Science},
  volume    = {13243},
  pages     = {303--321},
  publisher = {Springer},
  year      = {2022},
  part      = {{I}},
  month     = apr,
  url       = {https://doi.org/10.1007/978-3-030-99524-9\_16},
  doi       = {10.1007/978-3-030-99524-9\_16}
}