REFLEX Verification

REFLEX Verification enables a formal verification of the controller programs developed within REFLEX Studio.

​

REFLEX Verification is an efficient tool for developing safe controller programs. It can be used all along the development and testing phases (unit, integration and validation tests).

​

REFLEX Verification enables to define user programming rules (contracts) and to verify (prove or disprove) the correctness of the components and programs concerned by these rules.

​

By performing a mathematical analysis of the programs, REFLEX Verification is able to detect programming errors (non respect of user defined rules) and to garantee the absence of errors when executing programs.