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

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Journal Article
Author(s):Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, and Wolfgang Ahrendt
Journal:Int. J. Softw. Tools Technol. Transf.
Number:2
Volume:25
Year:2023
Pages:185-204
URL:https://doi.org/10.1007/s10009-022-00691-x
DOI:10.1007/S10009-022-00691-X

BibTeX

@article{AbbasiSchifflEtAl23,
  author       = {Rosa Abbasi and Jonas Schiffl and Eva Darulova and
                  Mattias Ulbrich and Wolfgang Ahrendt},
  title        = {Combining rule- and SMT-based reasoning for verifying floating-point
                  Java programs in KeY},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {2},
  pages        = {185--204},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-022-00691-x},
  doi          = {10.1007/S10009-022-00691-X}
}