Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Constraint-Driven Modeling Enabling Dual Model Checking and Simulation for Discrete Event Systems
Soroosh Gholami, Hessam S. Sarjoughian
Verification and validation (V&V) are crucial methods for evaluating the requirements and specifications of dynamical models that fulfill their intended purposes. Parallel Discrete…
cs.LG2026
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…