Prover

software development

Specification

Formal safety verification of computer-based interlocking systems

Formal safety verification of relay-based interlocking systems

coding

simulation and verification of Railway Signalling Systems