DTIC ADA041237: JAVS Final Report.Report as inadecuate

 DTIC ADA041237: JAVS Final Report.

DTIC ADA041237: JAVS Final Report. - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: DTIC ADA041237: JAVS Final Report.
As part of its program to improve software quality and reliability through the implementation of advanced technology, Rome Air Development Center has contracted with General Research Corporation for assistance in using GRC-s JOVIAL Automated Verification System (JAVS) to structurally test a large and complex operational program not designed for aut

Author: Defense Technical Information Center

Source: https://archive.org/

Related documents