![Metalogic / Railway signalling / Model theory / Interlocking / Ladder logic / Propositional variable / First-order logic / Ladder / Model checking / Logic / Propositional calculus / Logical syntax Metalogic / Railway signalling / Model theory / Interlocking / Ladder logic / Propositional variable / First-order logic / Ladder / Model checking / Logic / Propositional calculus / Logical syntax](https://www.pdfsearch.io/img/f488717a7f8ff16c2dabf66eeb80895a.jpg)
| Document Date: 2009-11-12 17:52:00 Open Document File Size: 203,99 KBShare Result on Facebook
City Chippenham / / Company Westinghouse Rail Systems / Volvo / ADTranz / Saab / Prover 7 / / Country United Kingdom / / / Event FDA Phase / / Facility Computer Science Swansea University / / IndustryTerm railway interlocking systems / written software / solver technology / / Organization Computer Science Swansea University Swansea / Swedish National Rail Administration / / Position rt / first author / route rt / guard / straight forward / train driver / / Product occupiedPointsLocked2 / occupiedPointsLocked0 / occupiedPointsLocked3 / pointsNotNormalAndReverse1 / occupiedPointsLocked1 / / ProgrammingLanguage Prolog / / Technology SAT solver technology / / URL www.elsevier.nl/locate/entcs / www.prover.com / /
SocialTag |