Showing cs.SEShow 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.SE2021
Simulation, Model Checking, and Execution of Activity Models
Abdurrahman Alshareef, Hessam S. Sarjoughian
This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system com…