UML design verification based on model checking techniques Tomoji Kishi School of Information Science Japan Advanced Institute of Science and Technology Email: kishi@jaist.ac.jp Abstract The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification Keyword: Software verification, embedded systems, model checking