Skip to main content

specify

Generates formal specifications for system components and behaviors using TLA+, SysML, or state machines, ideal for safety-critical systems.

Install this skill

or
specify1 files

Comments

Sign in to leave a comment.

No comments yet. Be the first to comment!
Installation guide →