No Cover Image

Conference Paper/Proceeding/Abstract 598 views

Verifying train control software - An exercise in SAT-based model checking / Phillip James; Yohinao Isobe; Markus Roggenbach

11th JSSST Workshop on Programming and Programming Languages (PPL2009), Start page: 1

Swansea University Authors: Phillip, James, Markus, Roggenbach

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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 1