Talk:TAPAAL Model Checker

	This article is within the scope of WikiProject Software, a collaborative effort to improve the coverage of software on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.SoftwareWikipedia:WikiProject SoftwareTemplate:WikiProject Softwaresoftware
Low	This article has been rated as Low-importance on the project's importance scale.
	This article is supported by WikiProject Computing.

C/C++ Low‑importance

	This article is within the scope of WikiProject C/C++, a collaborative effort to improve the coverage of C and C++ topics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.C/C++Wikipedia:WikiProject C/C++Template:WikiProject C/C++C/C++
Low	This article has been rated as Low-importance on the importance scale.

External links related to the tool TAPAAL were added, including the homepage and links to selected publications at the publisher Springer-Verlag where the tool has been presented.

I would really like to upload some screenshots, can someone help me with this? — Preceding unsigned comment added by Srba (talk • contribs) 08:33, 11 February 2012 (UTC)[reply]