Deductive verification of floating-point java programs in key

R Abbasi, J Schiffl, E Darulova, M Ulbrich… - … Conference on Tools …, 2021 - Springer
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …
被引用次数：10 相关文章
[PDF] mpg.de

[PDF][PDF] Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich… - … Conference on Tools …, 2021 - pure.mpg.de
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …
[PDF] chalmers.se

[PDF][PDF] Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova - research.chalmers.se
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …

Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich… - Tools and Algorithms …, 2021 - europepmc.org
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …

Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich… - Tools and Algorithms for … - ncbi.nlm.nih.gov
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …

Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich… - … Conference on Tools …, 2021 - dl.acm.org
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …
[PDF] github.io

[PDF][PDF] Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt - malyzajko.github.io
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …

Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova… - … Algorithms for the …, 2021 - publikationen.bibliothek.kit.edu
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …

Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich… - Lecture Notes in …, 2021 - swepub.kb.se
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …
[PDF] archive.org

[PDF][PDF] Deductive Verification of Floating-Point Java Programs in KeY

R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt - scholar.archive.org
Deductive verification has been successful in verifying interesting properties of real-world
programs. One notable gap is the limited support for floating-point reasoning. This is …