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 ...