Browsing by Subject "modeling and verification"

Now showing items 1-1 of 1

    • Modeling and Formal Verification of The Dining Philosophers Problem Using SPIN 

      Makvana, Kripalsinh (Dhirubhai Ambani Institute of Information and Communication Technology, 2022)
      The SPIN tool is used for verifying the correctness of the system. SPIN stands for simple PROMELA interpreter. It�s been used to find design problems in systems. The main idea behind the thesis is to provide an overview ...