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