BRIEF DESCRIPTION OF THE DRAWINGS
FIG. 1 is a block diagram showing an example of a program verification apparatus according to the present embodiment;
FIG. 2 is a flowchart showing an example of operation of annotation addition processing according to the present embodiment;
FIG. 3 is a flowchart for showing an example of operation of the annotation addition processing according to the present invention;
FIG. 4 is a flowchart showing an example of operation of the program verification processing according to the present embodiment;
FIG. 5 is a flowchart showing an example of operation of the annotation verification processing according to the present invention;
FIG. 6 is source code of the library 11 in the first concrete example according to the present embodiment;
FIG. 7 is source code of the library 11 in the second concrete example according to the present embodiment;
FIG. 8 is source code of the library 11 in the third concrete example according to the present embodiment;
FIG. 9 is source code of the program 22 in the first concrete example according to the present embodiment;
FIG. 10 is source code of the program 22 in the second concrete example according to the present embodiment; and
FIG. 11 is source code of the program 22 in the third concrete example according to the present embodiment.