PROVER: A SIL-4 certified sign-off verification tool which can be used to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using Formal Verification will be highlighted by Prover, along with the Trident signalling design automation tool.

The company will also be helping people learn more about two languages for efficient formal verification and design automation, the ‘de facto standard’ HLL and its new LCF which Prover says radically improves the efficiency of formal verification.