REFLEX Verification


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.



REFLEX Studio brochure

© 2017 ARTICS - Legal Information

Our address

Le Concorde

24 rue Lamartine

38320 Eybens - FRANCE

Contact us !

+ 33 (0) 4 76 24 85 76

Follow us !

  • LinkedIn - White Circle
  • Twitter - White Circle
  • YouTube - White Circle