Section: New Software and Platforms

ReaX

ReaX is a tool developed by Nicolas Berthier that investigates the control of safety properties for infnite reactive synchronous systems modeled by arithmetic symbolic transition systems. It provides effective algorithms allowing to solve the safety control problem (including the dead-lock free case), and report some experiments. Its aim is to replace Sigali, which is limited to finite state systems described by boolean variables.

• Contact : Nicolas Berthier, Hervé Marchand

• URL : http://reatk.gforge.inria.fr/