Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal computer verification in the State Delta Verification System (SDVS)


    Contributors:
    COOK, JEFFREY (author) / FILIPPENKO, IVAN (author) / LEVY, BETH (author) / MARCUS, LEO (author) / MENAS, TELIS (author)

    Conference:

    8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.



    Publication date :

    1991-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal Verification of a Fault-Tolerant Computer

    Brock, N. / Jackson, D. M. / IEEE et al. | British Library Conference Proceedings | 1992


    Formal Verification at System Level

    Mazzini, S. / Puri, S. / Mari, F. et al. | British Library Conference Proceedings | 2009



    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | Tema Archive | 1998


    Formal Verification and Legacy Redesign

    Young, F. / Houston, J. / IEEE | British Library Conference Proceedings | 1998