Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0


    Contributors:
    L. Titolo (author)

    Publication date :

    2024


    Size :

    29 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis

    Paolo Masci / Laura Titolo / Mariano Moscato et al. | NTRS


    PRECiSA: From Real Specifications to Floating-point Implementations

    Laura Titolo / Mariano Moscato / Marco Feliu | NTRS


    Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software

    Titolo, Laura / Moscato, Mariano / Feliú, Marco A. et al. | Springer Verlag | 2023