1
Automated Semantic Fault Localization in SysML v2: A Human-in-the-Loop Framework Using Knowledge-Graph Augmented LLMs
用知识图谱增强LLM，针对SysML v2语义错误做自动定位，引入人工确认闭环，直击编译器发现不了的模型缺陷。
arXiv:2606.23395v1 Announce Type: cross Abstract: SysML v2's textual syntax enables compiler-based validation of model structure and language conforma…