Access

    Download

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatically Verifying Railway Interlockings using SAT-based Model Checking


    Contributors:

    Published in:

    Electronic Communications of the EASST ; 35 , Electronic Communications of the EASST, Vol. 35 (2010): Automated Verification of Critical Systems 2010


    Publication date :

    2011


    Size :

    530KB



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Consolidated interlockings

    Engineering Index Backfile | 1933


    Simulating and analyzing railway interlockings in ExSpect

    Basten, Twan / Bol, Roland / Voorhoeve, Marc | TIBKAT | 1994


    Electric railway traction. Part 4: Signalling and interlockings

    Hill, R.J. | IET Digital Library Archive | 1995


    Safety assurance of configuration data for railway signal interlockings

    Short, R.C. | IET Digital Library Archive | 2006


    NYC combines interlockings

    Engineering Index Backfile | 1954