Introduction

This page allows you to have a look on how PeCan performs face to other tools in the following examinations:

• LTLCardinality,
• LTLFireability,
• ReachabilityCardinality,
• ReachabilityDeadlock,
• ReachabilityFireability,