15. The system according to claim 13 , wherein said termination condition comprises detecting that said abstract documents have not been changed by said applied operations.
13. A specification verification system, comprising: a processor device configured to: (a) retain a plurality of abstract documents, each said abstract document of said plurality indicating a value corresponding to a metadata of that document; (b) separate a group of abstract documents based on an input condition of an operation; (c) add a new abstract document to the separated group by using, based on an output condition, at least one said operation within a group of said operations; (d) separate said abstract documents according to overlapping ranges of values designated by each said metadata of abstract documents indicated in said group; (e) unify said group of abstract documents according to overlapping ranges designated by each said metadata of abstract documents indicated in said group; (f) repeat functions (b) to (e) until a termination condition is satisfied; and (g) verify whether an incomplete abstract document exists when said termination condition is satisfied; wherein said plurality of abstract documents associated with a plurality of said metadata are processed; wherein said group of said operations are applied collectively by an operation specification specifying document processing operations; wherein said input condition that is a condition of a range of values of said metadata capable of application of a respective operation is retained for each of said operation; and wherein an output condition that is a change of said metadata value after use of said respective operation is retained for each of said operation.