Koichi Shinozaki

Learn More
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)
A simple, sensitive and specific chemiluminescent high-performance liquid chromatography method, based on the luminol reaction, for determination of serum cortisol and cortisone, was established. In infants, placental 11beta-hydroxysteroid dehydrogenase type 2 enzyme (11beta-HSD2) activity may affect adrenal function early after birth. The(More)
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.
  • 1