This paper is the preliminary report of a joint research project on developing a body of knowledge on model checking. The project is being carried out by four organizations that give model checking courses to software engineers in Japan. The paper explains the main objective of the project and reports the results of an evaluation of model checking programs.
Formal Methods has been recognized as a rigorous development methodology for hardware and software systems. In particular, model checking is well accepted as an effective verification method for hardware systems, safety/missioncritical systems and embedded systems. To foster this technology in industry, we recognize a need to develop educational materials… (More)
This paper reports on a medical image processing algorithm competition that has been held annually in Japan from 2002 to 2010. It is the world's oldest competition in the field of 3D medical image processing, and covers various targets: the liver, pancreas, hepatocellular carcinomas, and hepatic vascular and metastatic liver tumors. This paper presents the… (More)