Search Results
Showing 1 - 10 of 22 results
Search Results
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Model checking software
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 I58 2005 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Theoretical and practical aspects of SPIN model checking
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 S68 1999 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
The SPIN verification system
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V4 W677 1996 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
SPIN model checking and software verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 I58 2000 | ✔ Available |