IKEBE YUKA

Software behavior modeling device, software behavior modeling method, software behavior verification device, and software behavior verification method