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__


Sorry for the inconvenience!

The SMV team.

Document Actions