6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LO2017★ 6 cited
Linear-time Temporal Logic with Event Freezing Functions
Stefano Tonetta
Formal properties represent a cornerstone of the system-correctness proofs based on formal verification techniques such as model checking. Formalizing requirements into temporal pr…
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…