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

Zeitschriftenartikel

Autor(en):Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich und Wolfgang Ahrendt
Zeitschrift:Int. J. Softw. Tools Technol. Transf.
Nummer:2
Band:25
Jahr:2023
Seiten: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}
}