Paper Info
Title
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 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.
Year
DOI
Venue
2013
10.1109/COMPSAC.2013.129
COMPSAC
Keywords
Field
DocType
missioncritical system,present lesson,model checking,rigorous development methodology,formal methods,development experience,effective verification method,educational material,hardware system,software development,embedded system,software engineering,body of knowledge,unified modeling language,knowledge engineering,embedded systems,safety systems,computational modeling,formal verification
Model checking,Software engineering,Systems engineering,Computer science,Package development process,Software development process,Systems development life cycle,Formal methods,Software construction,Software development,Formal verification
Conference
ISSN
Citations 
PageRank 
0730-3157
4
0.47
References 
Authors
5
6
Name
Order
Citations
PageRank
Kenji Taguchi110517.37
Hideaki Nishihara2102.37
Toshiaki Aoki35716.68
Fumihiro Kumeno4184.77
Koji Hayamizu581.27
Koichi Shinozaki660.88