@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}
}
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
| 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 |