I need the solution of following problems, please answer as possible.
1. Describe dining philosopher problem in Promela and confirm that deadlock happens.
2. Revise Promela description of dining philosopher problem in order to avoid deadlock.
3. Give some properties which Promela description of dining philosopher problem should satisfy. The properties should be described i temporal logic.
4. Check whether the properties of the previous question are satisfied.
1. Describe dining philosopher problem in Promela and confirm that deadlock happens.
2. Revise Promela description of dining philosopher problem in order to avoid deadlock.
3. Give some properties which Promela description of dining philosopher problem should satisfy. The properties should be described i temporal logic.
4. Check whether the properties of the previous question are satisfied.