Bachelorprojekt - Softwareteknologi
Project No. 0104:  User Iterface for SPIN

Aktuelle

Tidligere

Description:

The SPIN model checker is an efficient verification engine for transition system expressed in the textual language Promela. A number of graphical user interfaces to SPIN exist, but these lack in either usability, stability or detailed control of the verification.

The goal of this project is to develop a platform independent SPIN interface with emphasis on usability and comprehensible feedback. The interface should comprise:

• A basic editor.
• A simulation module with clear system state visualization.
• A verification module with full SPIN control and interpreted feedback.

The interface must be developed in a platform independent language. It may be based on existing open source solutions such as jSpin or the Eclipse plugin.

Prerequisites:

02158 Concurrent Programming (Recommended)

Supervisor(s) Hans Henrik Løvengreen

Sidst opdateret: Nov 23, 2011 af Hans Henrik Løvengreen