hanfeny7/pat2prism
PAT2PRISM is an automated tool for protocol modeling and verification, supporting the conversion of PAT (Process Analysis Toolkit) specifications into PRISM models. The tool integrates syntax preprocessing, intelligent type inference, and automatic message field extraction, greatly improving the efficiency and accuracy of protocol modeling.
正在读取项目信息…