top of page
REFLEX Verification

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

bottom of page