Browsing by Author "Somavarapu, Murali Krishna"
Now showing items 1-1 of 1
-
SPIN Model Checker for MACT
Somavarapu, Murali Krishna (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 ...