Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
Kind :: Software [Remove This Filter]
Programming Language :: Objective-Caml [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
Natural Language :: English [Remove This Filter]

Research center > Rennes	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

1 project in result set.

ReaTK - 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.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2015-04-22 14:56