No Cover Image

Journal article 1343 views

Automatically Verifying Railway Interlockings using SAT-based Model Checking

P James, Markus Roggenbach Orcid Logo

Electronic Communications of the EASST, Volume: 35

Swansea University Author: Markus Roggenbach Orcid Logo

Published in: Electronic Communications of the EASST
Published: 2010
URI: https://cronfa.swan.ac.uk/Record/cronfa8085
Item Description: P James, M Roggenbach: Automatically Verifying Railway Interlockings using SAT-based Model CheckingElectronic Communications of the EASST, 18 pages, Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010)
College: Faculty of Science and Engineering