Abstract
News editors obtained the following quote from the background information suppli ed by the inventors:“Code verification is a verification performed to avoid err ors and omissions that may occur with codedesigns and inputs. It can be verifie d with a program, with a verification tool, or even manually. The codeverificat ion may find a problem that does not comply with standards in advance, thereby i mproving therobustness of the developed software.”