(c) 2008-2020 TAPAAL Team
This documentation site is Work-in-progress. Please reference the official documentation at www.tapaal.net.
If you are familiar TAPAAL, please consider contributing to this new documentation side at https://github.com/tapaal/docs.tapaal.net.