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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1145/1595453.1595461 | SIGCSE Bulletin |
Keywords | Field | DocType |
training,joint research project,model checking,model checking education,preliminary report,body of knowledge,model checking course,software engineer,model checking program,main objective,evaluation,software engineering | Body of knowledge,Model checking,Software engineering,Computer science,Software | Journal |
Volume | Issue | Citations |
41 | 2 | 2 |
PageRank | References | Authors |
0.41 | 2 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hideaki Nishihara | 1 | 10 | 2.37 |
Koichi Shinozaki | 2 | 6 | 0.88 |
Koji Hayamizu | 3 | 8 | 1.27 |
Toshiaki Aoki | 4 | 57 | 16.68 |
Kenji Taguchi | 5 | 105 | 17.37 |
Fumihiro Kumeno | 6 | 18 | 4.77 |