No Cover Image

Conference contribution 467 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 Author: Roggenbach, Markus

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/cronfa196
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In 11th JSSST Workshop on Programming and Programming Languages (PPL2009), Japan
College: College of Science
Start Page: 1