LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts

Vamsi Krishna Vasa, Hessam S. Sarjoughian, Edward J. Yellig

The development of models demands sound modeling and simulation knowledge as well as domain knowledge. Every model should accurately represent a system's dynamics and be verifiable…