JOVIAL Automated Verification System.
Final technical rept. Jun 77-Jul 78,
GENERAL RESEARCH CORP SANTA BARBARA CALIF
Pagination or Media Count:
JAVS, for JOVIAL Automated Verification System, provides measurements of testing thoroughness, retesting assistance, and automated software documentation for JOVIAL J3 programs. This report describes the design, implementation and testing of a new JAVS syntax analyzer. Background information regarding all JAVS contracts is provided in this report, as are procedures for installing the complete JAVS software package. Familiarity with the JOVIAL language and with software verification terminology is assumed. Author
- Computer Programming and Software
- Computer Hardware