Browsing by Subject "Computer simulation -- Testing -- Data processing."
Now showing items 1-1 of 1
-
SPIN Model Checker for MACT
(North Dakota State University, 2013)The SPIN (Simple PROMELA Interpreter) model checker is a verification system used to check high-level models of concurrent systems and improve the overall system’s performance. The SPIN model checker takes the PROMELA model ...