Back to Results
First PageMeta Content
Propositional calculus / Predicate logic / Model theory / Formal languages / Ladder logic / Model checking / Logic programming / First-order logic / Interlocking / Logic / Mathematical logic / Mathematics


Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi
Add to Reading List

Document Date: 2013-12-12 10:55:19

Open Document

File Size: 344,36 KB

Share Result on Facebook

City

Chippenham / Southampton / /

Company

CNF / Pelican crossing / Invensys / /

Country

United Kingdom / Wales / /

Facility

Swansea University / /

IndustryTerm

railway systems / model checking approaches and tools / appropriate track equipment / transition systems / verification technology / /

Organization

Swansea University / /

Position

rt / route rt / Programmable Logic Controller / controller / programmer / rt / rt / /

ProgrammingLanguage

C / Prolog / /

Technology

three algorithms / simulation / verification technology / 3.7 Model Checking Approaches Target technology / /

SocialTag