Introduction

This page allows you to have a look on how TAPAAL-OTF(SEQ) performs face to other tools in the following examinations:

• StateSpace,
• ReachabilityBounds,
• ReachabilityCardinality,
• ReachabilityComputeBounds,
• ReachabilityDeadlock,
• ReachabilityFireability,
• ReachabilityFireabilitySimple,

Examinations for which the tool does not compete are not listed.