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
