Back to Results
First PageMeta Content
Propositional calculus / Model theory / Predicate logic / Metalogic / Ladder logic / First-order logic / Logic programming / Formal verification / Function / Logic / Mathematics / Mathematical logic


Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach,
Add to Reading List

Document Date: 2013-09-27 06:58:46

Open Document

File Size: 267,52 KB

Share Result on Facebook

City

Southampton / Chippenham / /

Company

CNF / Railway Control Systems / Pelican crossing / Anton Setzer Swansea Railway Verification Group / Invensys / Johns Hopkins University Press / Intel / Siemens / /

Country

United Kingdom / Wales / /

Facility

station Hoorn-Kersenboogerd / Anton Setzer Swansea Railway Verification Group Swansea University / Swansea University / /

IndustryTerm

railway interlocking systems / pre-processing step / open source tool / appropriate track equipment / open software / multi-core processors / railways systems / model checking approaches and tools / control software / search space / verified railway interlocking systems / proof technology / open software tools / /

OperatingSystem

Ubuntu / /

Organization

The Johns Hopkins University / Swansea University / /

Person

Markus Roggenbach / Andy Lawrence Faron Moller / ASE S TUDIES / J. Groote / S. Van Vlijmen / J. Koorn / Karim Kanso / /

Position

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

Product

Dimacs / /

ProgrammingLanguage

Haskell / Prolog / Java / IEC 61131-3 / C / K / /

Region

Northern Europe / /

Technology

RAM / three algorithms / following algorithm / Java / Target technology / simulation / operating system / underlying proof technology / /

URL

http /

SocialTag