Back to Results
First PageMeta Content
Metalogic / Railway signalling / Model theory / Interlocking / Ladder logic / Propositional variable / First-order logic / Ladder / Model checking / Logic / Propositional calculus / Logical syntax


AVoCS[removed]Automated Verification of Signalling Principles in Railway Interlockings 1
Add to Reading List

Document Date: 2009-11-12 17:52:00

Open Document

File Size: 203,99 KB

Share 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