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

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

Deductive Verification of Floating-Point Java Programs in KeY

MPG-Autoren

/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;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Abbasi2021_Chapter_DeductiveVerificationOfFloatin.pdf
(Verlagsversion), 481KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

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

Zusammenfassung

Es ist keine Zusammenfassung verfügbar