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
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/19de4c47174.3be94a9429708.3428753824823533951%40zohomail.com.