Add us to your taskbar by dragging this icon RGI logo to the bottom of your screen.


Verify what’s new at Prover

10 Aug 2018

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.