Personal tools
You are here: Home Documentation

Under (re-)construction

******************************

Installation guide: pdf

Introduction video presented at TACAS10: youtube

Technical report for the properties language: pdf

******************************

 The interface of AlPiNA was recently completely rebuilt, and the documentation is still outdated. We are currently updating it and hope to put it online as soon as possible.

If you have questions, you can always ask smv __AT__ unige.ch.

 

Sorry for the inconvenience!

The SMV team.

Document Actions