Repo for learning how to use the Promela language with the SPIN model checker. Verifying the correctness of Colored Bakery Algorithm, Peterson Tournament Algorithm, N-Level Filter Algorithm.
justin-nguyen-1996/Spin_Promela
Repo for learning how to use the Promela language with the SPIN model checker. Verifying the correctness of Colored Bakery Algorithm, Peterson Tournament Algorithm, Filter Algorithm