Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

von Izycheva, Anastasiia
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

Inferring Interval-Valued Floating-Point Preconditions

von Krämer, Jonas
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)

Deductive Verification of Floating-Point Java Programs in KeY

von Abbasi, Rosa
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

A Two-Phase Approach for Conditional Floating-Point Verification

von Lohar, Debasmita
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

A Roadmap towards s Parallel Printing for Desktop 3D Printers

von Carton, Molly Aubrey
Veröffentlicht in Annual International Solid Freeform Fabrication Symposium (32. : 2021 : Online) Proceedings of the 32nd Annual International Solid Freeform Fabrication Symposium - an Additive Manufacturing Conference - 2021 ; Volume 1 of 2 (2021)