Prover offers a Signaling Design Automation process, where a Generic Application is developed in a model-based workflow and application software for the target platform is automatically generated based on application data.
Prover can prove that the application software is correct thanks to Prover Certifier, which has been certified for CENELEC SIL 4 applications by TÜV Nord.
