1. You are asked to use spin (promela)
Write a program that has two threads. Make the first thread a simple loop that continuously increments a counter and prints a period (“.”) whenever the value of that counter is divisible by 10,000,000 make the second thread repeatedly wait for the user to input a line of text and then print “Thank you for your input.” On your system, does the first thread makes rapid progress? Does the second thread respond quickly?
a. How to develop your program
b. How to implement your program as the way your instructor can implement
c. Explain the implementation of your promela program
d. Attach the screenshot of your program output