User Documentation

For new users starting with TAPAAL, we recommend to run TAPAAL and open the following net intro-example.tapn (the net can be open from files - Examples Nets - intro-example) which will explain the main modeling features and verification possibilites. After that you are welcome to solve the following TAPAAL exercises.

User Manual

A user manual for TAPAAL is freely available on leanpub.

Frequently Asked Questions (FAQ)

You can find a list of FAQ on our launchpad page:

If you have any other problems, please ask on launchpad answers where both users and the development team will answer questions. You are also welcome to contact the development team directly on email: tapaal(at)

Developer Documentation

All relevant development documentation can be found at our github wiki