Kaushik Tushar Ranade

SpecMAS: A Multi-Agent System for Self-Verifying System Generation via Formal Model Checking

We present SpecMAS, a novel multi-agent system that autonomously constructs and formally verifies executable system models from natural language specifications. Given a Standard Operating Procedure (SOP) describing a target system, SpecMAS parses the specification, identifies relevant operational mo…