To provide a verification method for a program, a verification device for the program, and a verification method for the program for carrying out efficient verification for attaining interactivedebugging work of concurrent/parallel programs. 並行・並列プログラムの対話的デバッグ作業を可能にするための効率的な検証を行うプログラムの検証プログラム、プログラムの検証装置、プログラムの検証方法を提供する。 - 特許庁