Consider given scenario requirements and their relevant constraints for formal verification using temporal logic based on dining philosophers example. And design protocol to avoid deadlock on the selected requirements and their constraints. The director of Academics decides the courses to be offered in a semester and a student can select a course from the approved ones. The student should be allowed to register for a course if he has already passed its pre-requisite course (if any). Further, he/she can choose 2 courses (max) from the elective courses. There is an upper limit on total credits to be registered in the semester depending upon the students GPA. If there are more than one sections of a course student can check which sections of a certain course are available. The Academic Officer can perform adding, dropping, and changing the section of the course. Student and Academic Officer should be able to view the list of courses already registered by him/her, tuition fee for the selected courses, and later on during the semester marks of courses, and final exam schedule. Teachers can update the course folders.