This repository contains the assignments solved as a part of Software Engineering course at IIT BBS (B.Tech Sem-8).
-
Assignment-1: Model Dekker’s algorithm in Promela and verify mutual exclusion property.
-
Assignment-2: Design an elevator controller for a 4 story building (floor 0, 1, 2 and 3)and model this controller in Promela and analyze some safety features of it using the Spin model-checker.