Add formal test suite for Permission Management gap analysis (T-PM-003, T-PM-005, T-PM-007) - #52325

Add formal test suite for Permission Management gap analysis (T-PM-003, T-PM-005, T-PM-007)#52325

pelikhan with Copilot wants to merge 6 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-security-architecture-validationgithub/gh-aw:copilot/formal-spec-security-architecture-validationCopy head branch name to clipboard