TY  - RPRT
TI  - MCeT: Behavioral Model Correctness Evaluation using Large Language Models
AU  - Khaled Ahmed
AU  - Jialing Song
AU  - Boqi Chen
AU  - Ou Wei
AU  - Bingzhou Zheng
PY  - 2025
UR  - https://arxiv.org/abs/2508.00630
ID  - 2508.00630
ER  -