Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Generating Proof-Specific Strategies for PVS



    Kongress:

    Workshop, Design and application of strategies / tactics in higher order logics ; 2003 ; Rome



    Erscheinungsdatum :

    01.01.2003


    Format / Umfang :

    12 pages


    Anmerkungen:

    Known as STRATA 2003


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Writing PVS Proof Strategies

    Owre, S. / Shankar, N. / NASA | British Library Conference Proceedings | 2003


    Proof Strategies for Hardware Verification

    Eastham, R. / Thirunarayan, K. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996



    Mounting structure and method of specific vehicle bullet-proof glass

    MAO JIANGMING / LI ZHIQIANG / ZHANG ZHENG et al. | Europäisches Patentamt | 2016

    Freier Zugriff

    A comparison of single-cycle versus multi-cycle proof testing strategies

    Hudak, Stephen J., Jr. / Russell, Dale A. | NTRS | 1988