The system is not yet donwloadable since license under which to make it available is under definition (See License).

If you are interested in using or in evaluating the tool, please send an email to both Alessandro Cimatti and Marco Roveri.


Page last modified on June 13, 2011, at 07:25 am