REFLEX Verification
>
REFLEX Verification
Technologies
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.
>
Documentation
> REFLEX Studio brochure