|
|
|
|
|
|
by chozang
518 days ago
|
|
|
Bonus points for mentioning Spin. My "Software Engineering" course in 1987 in grad school would have been more accurately titled, "Using the Spin Model Checker". Except when I was looking for it, I had never came across any mention of Spin since. |
|
|