Several Ways of Using Computer Simulations to Help Formalisation R.M. Sperandeo-Mineo Department of Physical and Astronomical Sciences, Università di Palermo,