28 citations · 33 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016
Verification of railway interlocking - Compositional approach with OCRA
Christophe Limbree, Quentin Cappart, Charles Pecheur +1
In the railway domain, an electronic interlocking is a computerised system that controls the railway signalling components (e.g. switches or signals) in order to allow a safe opera…
cs.SE2015★ 28 cited
Verification of railway interlocking systems
Simon Busard, Quentin Cappart, Christophe Limbrée +2
In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to allow a safe operation of the train traffic. Each interlock…