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