1. Trang chủ
  2. » Thể loại khác

UML design verification based on model checking techniques

1 49 0

Đang tải... (xem toàn văn)

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 1
Dung lượng 26,2 KB

Nội dung

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

Ngày đăng: 15/12/2017, 06:56

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN