Skip to main content

Flex Language Documentation

Flex is a specification language for defining message data types and transform functions for component software interfaces. It is the foundation for Tangram Pro's integration, code generation, and verification capabilities.

Depending on what you are doing, you might be:

  • Learning Flex — start with the hands-on tutorials.
  • Authoring a specification — reach for the how-to guides and reference.
  • Verifying a system — read about contracts and protocols.

Where to Go Next​

The Flex documentation is organized into four categories. Pick the one that matches what you're trying to do:

Learning-oriented

Tutorials

Hands-on lessons: write your first Flex file, build contracts, and model a counter service. Start here if you're new to Flex.

Start learning →
Understanding-oriented

Explanation

Background on what Flex is, how transforms and protocols work, and why ontological significance and SMT-based verification matter. Read this to deepen your understanding.

Understand Flex →
Task-oriented

How-To Guides

Step-by-step instructions for writing transforms and modeling state-machine behavior with protocols. Use these when you have a specific goal in mind.

Get it done →
Information-oriented

Reference

Technical descriptions of data types, the standard library, expressions, pattern matching, protocol syntax, and the complete Flex grammar. Consult these when you need precise details.

Look it up →