Deductive verification of floating-point Java programs in KeY (Q2233510)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deductive verification of floating-point Java programs in KeY
scientific article

    Statements

    Deductive verification of floating-point Java programs in KeY (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    18 October 2021
    0 references
    deductive verification
    0 references
    floating-point arithmetic
    0 references
    transcendental functions
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers