Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Writing PVS Proof Strategies



    Conference:

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



    Publication date :

    2003-01-01


    Size :

    15 pages


    Remarks:

    Known as STRATA 2003


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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