Deductive Verification of Floating-Point Java Programs in KeY

Abbasi, Rosa; Schiffl, Jonas; Darulova, Eva; Ulbrich, Mattias; Ahrendt, Wolfgang

doi:10.1007/978-3-030-72013-1_13

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Deductive Verification of Floating-Point Java Programs in KeY

MPS-Authors

/persons/resource/persons266164

Abbasi, Rosa
Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons216352

Darulova, Eva
Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Abbasi2021_Chapter_DeductiveVerificationOfFloatin.pdf
(Publisher version), 481KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Abbasi, R., Schiffl, J., Darulova, E., Ulbrich, M., & Ahrendt, W. (2021). Deductive Verification of Floating-Point Java Programs in KeY. In J. F. Groote, & K. Guldstrand Larsen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 242-261). Berlin: Springer. doi:10.1007/978-3-030-72013-1_13.

Cite as: https://hdl.handle.net/21.11116/0000-0009-5825-B

Abstract

There is no abstract available