Journal article 1161 views
Automatically Verifying Railway Interlockings using SAT-based Model Checking
P James,
Markus Roggenbach 
Electronic Communications of the EASST, Volume: 35
Swansea University Author:
Markus Roggenbach
Abstract
Automatically Verifying Railway Interlockings using SAT-based Model Checking
| 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: |
Faculty of Science and Engineering |