Conference Paper/Proceeding/Abstract 1837 views
Verifying train control software - An exercise in SAT-based model checking
Phillip James 
,
Yohinao Isobe,
Markus Roggenbach
,
Yohinao Isobe,
Markus Roggenbach
11th JSSST Workshop on Programming and Programming Languages (PPL2009), Start page: 1
Swansea University Authors:
Phillip James , Markus Roggenbach
Abstract
Verifying train control software - An exercise in SAT-based model checking
| Published in: | 11th JSSST Workshop on Programming and Programming Languages (PPL2009) |
|---|---|
| Published: |
Japan
Japan Society for Software Science and Technology
2009
|
| Online Access: |
http://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/sites/default/files/uploads/papers/james09a.txt |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa196 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
1 |