specify

Create formal specifications for a component or behavior using TLA+, SysML, or state machines. Intended for safety-critical systems.