Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements


    Contributors:

    Conference:

    Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris



    Publication date :

    2016-01-01


    Size :

    12 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    Unknown






    Use of Models to Verify and Validate Requirements for Critical Software

    Kvinnesland, K. / Torget, O. / European Space Agency | British Library Conference Proceedings | 2009


    Space Software Validation Using Abstract Interpretation

    Bouissou, O. / Conquet, E. / Cousot, P. et al. | British Library Conference Proceedings | 2009