Model checking education for software engineers in Japan

Authors:
Hideaki Nishihara;Koichi Shinozaki;Koji Hayamizu;Toshiaki Aoki;Kenji Taguchi;Fumihiro Kumeno
Affiliations:
Research Center for Verification and Semantics National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan;The Kansai Electric Power Co., Inc., Hyogo, Japan;Melco Power Systems Co., Ltd., Kobe-shi, Japan;Research Center for Trustworthy e-Society Japan Advanced Institute of Science and Technology, Ishikawa, Japan;Grace Center, Information Systems Architecture Research Division National Institute of Informatics, Chiyoda-ku, Tokyo, Japan;Mitsubishi Research Institute, Inc., Chiyoda-ku, Tokyo, Japan
Venue:
ACM SIGCSE Bulletin
Year:
2009

Citing 5
Cited 2

Symbolic Model Checking

Symbolic Model Checking
Guide to the Software Engineering Body of Knowledge - SWEBOK

Guide to the Software Engineering Body of Knowledge - SWEBOK
Concurrency: State Models And Java Programs

Concurrency: State Models And Java Programs
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

A primer on model checking

ACM Inroads
From a community of practice to a body of knowledge: a case study of the formal methods community

FM'11 Proceedings of the 17th international conference on Formal methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.