Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Viable Approach to Formal Verification of Complex Aerospace Systems


    Contributors:

    Conference:

    AIAA Scitech 2019 Forum



    Publication date :

    2019-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Formal Verification of Safety-Critical Aerospace Systems

    Paul, Saswata / Cruz, Elkin / Dutta, Airin et al. | IEEE | 2023


    Continuous Formal Verification for Aerospace Applications

    McColl, Morgan / McColl, Callum / Pereira, Aaron et al. | IEEE | 2024


    Formal Verification of Clock Synchronization Algorithms for Aerospace Systems

    Krishnan, Ranjani / Gupta, Ashutosh / Chandrachoodan, Nitin et al. | IEEE | 2024


    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | AIAA | 2017


    Formal verification of safety requirements on complex systems

    Bernardeschi, C. / Fantechi, A. / Gnesi, S. | Tema Archive | 1996