Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Model-checking Approach for HDL Descriptions Using Data Dependency Analysis


    Contributors:

    Conference:

    Infotech@Aerospace 2012



    Publication date :

    2012-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    2012-2609 A Model-Checking Approach for HDL Descriptions Using Data Dependency Analysis

    Waseem, M. / Omer, M. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


    Efficiently Checking the Determinism of AL Action Descriptions

    Balduccini, Marcello / Gelfond, Michael | AIAA | 2005




    Model Checking

    Dill, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995