SpecMAS converts natural-language SOPs into NuSMV models and autonomously self-verifies and debugs them via multi-agent temporal-logic checking, ensuring verifiable system designs.