Building a Body of Knowledge on Model Checking for Software Development

  title={Building a Body of Knowledge on Model Checking for Software Development},
  author={Kenji Taguchi and Hideaki Nishihara and Toshiaki Aoki and Fumihiro Kumeno and Koji Hayamizu and Koichi Shinozaki},
  journal={2013 IEEE 37th Annual Computer Software and Applications Conference},
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 to enhance learning the technology by students and practitioners. However, there are neither standard guidelines nor instructions how to… CONTINUE READING
8 Citations
23 References
Similar Papers


Publications citing this paper.
Showing 1-8 of 8 extracted citations


Publications referenced by this paper.
Showing 1-10 of 23 references

Guide to the Software Engineering Body of Knowledge 2004 Version SWEBOK

  • A. Abran, J. W. Moore, P. Bourque, R. Dupuis
  • 2004
Highly Influential
3 Excerpts

Proceedings of the first international workshop on Formal Methods Education and Training

  • K. Taguchi, J. Davies, J. Gibbons, M. Hinchey eds
  • FMET
  • 2008
1 Excerpt

eds). 25 years of Model Checking

  • O. Grumberg, H. Veith
  • 2008

Similar Papers

Loading similar papers…