NII Technical Reports
National Institute of Informatics
| Title | Formal Methods as Software Engineering Tools |
| Authors | Shin NAKAJIMA |
| Abstract | Formal methods, whilst actually not, are expected to be a panacea for attaining to highly reliable software systems. In spite of such fever, we are more than one lap behind Western, where a long term steady effort has been made. This paper tries to illustrate what happens in the world of formal methods, which is mostly based on the author' s personal experience. |
| Language | Japanese |
| Published | Jul 5, 2007 |
| Pages | 22p |
| PDF File | 07-007J.pdf |