nw-tlaplus-verification

TLA+ formal verification for design correctness and PBT pipeline integration

Used by: nw-functional-software-crafter

Source: SKILL.md on GitHub