1
LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts
用大模型自动生成并验证并行DEVS状态图，提升系统建模的可靠性与效率。
arXiv:2608.14956v1 Announce Type: new Abstract: The development of models demands sound modeling and simulation knowledge as well as domain knowledge.…