TLA+ Use Cases-TLA+ Mailing List

[TT Three]

Hi,

I have specific questions about using TLA+ to develop optimal, domain-specific software architectures and designs for custom software of arbitrary complexity based on required feature sets; about where TLA+ belongs in a workflow hierarchy alongside other tools for producing optimal architectures and designs; and about integrating TLA+ with AI to enhance the architecture, design, and validation processes.

Whom can I email with these questions?

Thank You

TT

[Andrew Helwer]

You can post these questions to this mailing list.

Andrew

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/19de4c47174.3be94a9429708.3428753824823533951%40zohomail.com.