No Cover Image

Journal article 471 views

Automatically Verifying Railway Interlockings using SAT-based Model Checking / P James; Markus Roggenbach

Electronic Communications of the EASST, Volume: 35

Swansea University Author: Roggenbach, Markus

Published in: Electronic Communications of the EASST
Published: 2010
URI: https://cronfa.swan.ac.uk/Record/cronfa8085
Tags: Add Tag
No Tags, Be the first to tag this record!
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: College of Science