Conference Paper/Proceeding/Abstract 922 views
Automatically Verifying Railway Interlockings using SAT-based Model Checking
Phillip James 
AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems
Swansea University Author:
Phillip James
Abstract
Automatically Verifying Railway Interlockings using SAT-based Model Checking
| 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 |
|---|