The UofO LOTOS Project

The Eludo Toolkit


The development of the XEludo Toolkit has been carried on along the years. It is used as a workbench to test and experiment various ideas about the automation of different verification and validation activities.

Table of Content


lotos-mgr@site.uottawa.ca