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…