Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Inferring Interval-Valued Floating-Point Preconditions

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Jonas Krämer, Lionel Blatter, Eva Darulova und 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
Verleger:Springer
Reihe:Lecture Notes in Computer Science
Band:13243
Teil:I
Jahr:2022
Seiten: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

Anmerkung

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