Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s10009-022-00691-x

Published Online: 2023-03-08

Published Print: 2023-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Abbasi, Rosa https://orcid.org/0000-0003-1495-3470
Schiffl, Jonas https://orcid.org/0000-0002-9882-8177
Darulova, Eva https://orcid.org/0000-0002-6848-3163
Ulbrich, Mattias https://orcid.org/0000-0002-2350-1831
Ahrendt, Wolfgang https://orcid.org/0000-0002-5671-2555
Funding

Funding for this research was provided by:

Max Planck Institute for Software Systems (MPI-SWS)
License Information

Text and Data Mining valid from 2023-03-08

Version of Record valid from 2023-03-08
More Information

Article History

Accepted: 7 November 2022

First Online: 8 March 2023