DEv-PROMELA: Modeling, Verification, and Validation of a Video Game by Combining Model-Checking and Simulation
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL（2020）
Key words
Model-checking,verification and validation,modeling and simulation,Discrete-event System Specification,PROMELA,DEv-PROMELA
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined