Verify

The Verify mode of a project lets you test your software component at runtime using Tangram Pro™ Verifier, checking its behavior against its Flex protocol model.

Verifier now has its own dedicated section in the documentation so you can quickly find the kind of help you need.