Projects for Master and Bachelor students

Automated Support for the Design and Validation of Parameterized Systems

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.

Web Interface for Verification Tools

The great overwhelming of prototype tools developed within research projects suffers from several limitations and requirements preventing their usability, such as, for example, a particular version of compiler, dependencies to other tools previously installed and correctly configured, machine with a particular hardware configuration, etc. 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.
Syndicate content