Reliable Software through Very High-Level Verification.
VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
A substantial body of software to be used for the research was in operation on a DEC-10 and this software was transported to the Virginia Tech VMCMS system. Significant difficulties were encountered in bringing this software into satisfactory operation in this environment.
- Computer Programming and Software