MCeT: Behavioral Model Correctness Evaluation using Large Language Models2025-10-050 PRE AI DOI:10.1109/models67397.2025.00014原文链接原文求助分享收藏摘要 En