Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Writing PVS Proof Strategies



    Kongress:

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



    Erscheinungsdatum :

    01.01.2003


    Format / Umfang :

    15 pages


    Anmerkungen:

    Known as STRATA 2003


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Proof Strategies for Hardware Verification

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


    Generating Proof-Specific Strategies for PVS

    Kellomaki, P. / NASA | British Library Conference Proceedings | 2003



    Strategies for Writing Effectively About Science and Technology

    Herring, D. | British Library Online Contents | 1995


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

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