No Cover Image

Journal article 1161 views

Automatically Verifying Railway Interlockings using SAT-based Model Checking

P James, Markus Roggenbach Orcid Logo

Electronic Communications of the EASST, Volume: 35

Swansea University Author: Markus Roggenbach Orcid Logo

Published in: Electronic Communications of the EASST
Published: 2010
URI: https://cronfa.swan.ac.uk/Record/cronfa8085
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T12:00:12Z
last_indexed 2018-02-09T04:36:54Z
id cronfa8085
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2011-10-01T00:00:00.0000000</datestamp><bib-version>v2</bib-version><id>8085</id><entry>2012-02-22</entry><title>Automatically Verifying Railway Interlockings using SAT-based Model Checking</title><swanseaauthors><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2012-02-22</date><deptcode>SCS</deptcode><abstract></abstract><type>Journal Article</type><journal>Electronic Communications of the EASST</journal><volume>35</volume><journalNumber></journalNumber><paginationStart></paginationStart><paginationEnd/><publisher/><placeOfPublication/><issnPrint/><issnElectronic/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2010</publishedYear><publishedDate>2010-12-31</publishedDate><doi></doi><url/><notes>P James, M Roggenbach: Automatically Verifying Railway Interlockings using SAT-based Model CheckingElectronic Communications of the EASST, 18 pages, Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010)</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2011-10-01T00:00:00.0000000</lastEdited><Created>2012-02-22T13:37:06.0000000</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>P</firstname><surname>James</surname><order>1</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>2</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2011-10-01T00:00:00.0000000 v2 8085 2012-02-22 Automatically Verifying Railway Interlockings using SAT-based Model Checking 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2012-02-22 SCS Journal Article Electronic Communications of the EASST 35 31 12 2010 2010-12-31 P James, M Roggenbach: Automatically Verifying Railway Interlockings using SAT-based Model CheckingElectronic Communications of the EASST, 18 pages, Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010) COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2011-10-01T00:00:00.0000000 2012-02-22T13:37:06.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science P James 1 Markus Roggenbach 0000-0002-3819-2787 2
title Automatically Verifying Railway Interlockings using SAT-based Model Checking
spellingShingle Automatically Verifying Railway Interlockings using SAT-based Model Checking
Markus Roggenbach
title_short Automatically Verifying Railway Interlockings using SAT-based Model Checking
title_full Automatically Verifying Railway Interlockings using SAT-based Model Checking
title_fullStr Automatically Verifying Railway Interlockings using SAT-based Model Checking
title_full_unstemmed Automatically Verifying Railway Interlockings using SAT-based Model Checking
title_sort Automatically Verifying Railway Interlockings using SAT-based Model Checking
author_id_str_mv 7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv 7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Markus Roggenbach
author2 P James
Markus Roggenbach
format Journal article
container_title Electronic Communications of the EASST
container_volume 35
publishDate 2010
institution Swansea University
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2010-12-31T03:10:08Z
_version_ 1763749929577086976
score 11.013148

Similar Items