No Cover Image

Conference Paper/Proceeding/Abstract 793 views

Automatically Verifying Railway Interlockings using SAT-based Model Checking

Phillip James Orcid Logo

AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems

Swansea University Author: Phillip James Orcid Logo

Published in: AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems
Published: Electronic Communications of the EASST 2011
URI: https://cronfa.swan.ac.uk/Record/cronfa37071
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering