 |
|
| ||||||||||||||||||||||||||
|
|
| ||||||||||||||||||||||||||
|
|
|
|
|
| ||||||||
SPIN was a popular logic model checking tool, developed in the Unix group at Bell Labs between 1980 and 1995. See spinroot.com.
|
||||
| View Live Article | This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License | |
||
