Introduction

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

• Liveness,
• OneSafe,
• QuasiLiveness,
• ReachabilityCardinality,
• ReachabilityDeadlock,
• ReachabilityFireability,
• StableMarking,
• StateSpace,
• UpperBounds,