This project is read-only.

AIDE Programmers' Documentation

Thanks to Doxygen, the documentation is provided as a PDF file and you can download it from here.

AIDE User Guide

There is a short user guide on how to use AIDE here.

Identification of Non-deterministic Mealy machines

You can find the report on the theory of identification of non-deterministic Mealy machine by N* algorithm here.

Last edited Aug 15, 2014 at 11:41 AM by ali_khalili, version 10