http://verify.inf.unisi.ch/teaching/studentprojects/ Lists all the student projects en http://verify.inf.unisi.ch/content/automated-support-design-and-validation-parameterized-systems <p>The main and final goal of this project is to provide an automatic tool to support the design and validation of parameterized systems. This page is a collection of a series of single projects focusing on an extension of the infinite-state model-checker SAFARI, required either to gain a speed-up in solving certain tasks or for defining new solutions.</p> <p><a href="http://verify.inf.unisi.ch/content/automated-support-design-and-validation-parameterized-systems">read more</a></p> Thu, 01 Mar 2012 09:28:56 +0100 Francesco 159 at http://verify.inf.unisi.ch http://verify.inf.unisi.ch/content/web-interface-verification-tools <div>The great overwhelming of prototype tools developed within research&nbsp;projects suffers from several limitations and requirements preventing their usability,&nbsp;such as, for example, a particular version of compiler,&nbsp;dependencies to other tools previously installed and correctly&nbsp;configured, machine with a particular hardware configuration, etc.&nbsp;Goal of the project is to develop a platform allowing the human interaction with tools through a web interface, overcoming to all the aforementioned limitations to their usability and spread.</div> <p><a href="http://verify.inf.unisi.ch/content/web-interface-verification-tools">read more</a></p> Thu, 01 Mar 2012 10:38:08 +0100 Francesco 160 at http://verify.inf.unisi.ch