VEG toolkit Toolkit
		Calculator A calculator developed with VEG toolkit
		Examples of verification Examples of verification using the Spin Model Checker