Search Results
Showing 1 - 10 of 97 results
Search Results
Verifiable programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 D34 1992 | ✔ Available |
Validation, verification, and testing for the individual programmer
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.10:500-56 | ✔ Available |
Guideline for lifecycle validation, verification, and testing of computer software
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.52:101 | ✔ Available |
Verification, model checking, and abstract interpretation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 V53 2006 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Verification, model checking, and abstract interpretation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 V53 2004 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Software verification and testing
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88587 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Modular compiler verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.C65 M85 1997 | ✔ Available |