Prover Technology announced that SL, the infrastructure manager of Stockholm Metro, has licensed a Prover iLock solution for creating requirements for interlocking systems. The solution is based on a formal specification library that defines the general principles for Swedish interlocking systems, adapted to SL’s needs.
The output generated by the Prover iLock solution is used in automated development of interlocking software, or is applied in analysis of an existing interlocking, using formal verification and simulation. To date, the solution has been used for computerized interlocking systems in revenue-service on SL’s Roslagsbanan line and relay-based on line Saltsjobanan.
Share on:
