Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Generating Proof-Specific Strategies for PVS



    Conference:

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



    Publication date :

    2003-01-01


    Size :

    12 pages


    Remarks:

    Known as STRATA 2003


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | European Patent Office | 2016

    Free access

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

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