No Cover Image

Conference contribution 191 views

Verifying Train Control Software - An exercise in SAT-based Model Checking / Phillip James

11th JSSST Workshop on Programming and Programming Languages (PPL2009)

Swansea University Author: James, Phillip

Published in: 11th JSSST Workshop on Programming and Programming Languages (PPL2009)
Published: 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/cronfa37065
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science