This is the main directory of HSF-SPIN. It should contain following files and directories:

 - README: this file.
 - Makefile: Used for compiling and linking the HSF-SPIN
 - hsf-spin: Source code of the Verifier Generator.
 - indfs-spin: Extension of Spin that includes the Improved Nested Depth First Search Algorthm.
 - manual: Here you can find the user manual of HSF-SPIN.
 - models: This directory contains a set of test models.

To do:  Enter into hsf-spin/Src3.4 and follow the instructions of the README file to compile the verifier generator.

