Home My Page Projects ReaTK
Summary Activity Tracker Lists 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
Mailing Lists (2 public mailing lists)
SCM Repository (Git: 359 updates, 17 adds)