Building a Body of Knowledge on Model Checking for Software Development | IEEE Conference Publication | IEEE Xplore

Building a Body of Knowledge on Model Checking for Software Development


Abstract:

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...Show More

Abstract:

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 teach this technology. In this paper, we will present the first draft of a body of knowledge on model checking called MCBOK to address this issue, and present lessons learned from its development experience.
Date of Conference: 22-26 July 2013
Date Added to IEEE Xplore: 31 October 2013
Electronic ISBN:978-0-7695-4986-6
Electronic ISSN: 0730-3157
Conference Location: Kyoto, Japan

References

References is not available for this document.