Home My Page Projects ReaTK
Summary Activity Tracker SCM Mediawiki

Project description

Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.

Public Tools
Tracker  Tracker
SCM Repository (Git: 290 updates, 17 adds)