Software Validation Package for Winterpret (T3835)
PD
- 7
045
March, 06
3
Figure
1
. Application Source Integrity Checker Operation.
W
INTERPRET
Editor Integrity Check
W
INTERPRET
will provide a
Print
function that produces a
hard copy representation of the
Source File
. After entering
a logic specification into the WINTERPRET Editor, a Regent
user can make a hard copy of the
Source File
the editor
produced and see that it reflects the original specification.
Comments to this Manuals