Thời gian thực - hệ thống P7

Chia sẻ: Va Line Line | Ngày: | Loại File: PDF | Số trang:25

lượt xem

Thời gian thực - hệ thống P7

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

VERIFICATION USING TIMED AUTOMATA Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock- or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unnecessary in these applications, whose correctness depends only on the relative ordering of the associated events and actions. These automata-theoretic and temporal logic techniques using finitestate graphs are practical in a variety of verification problems in network protocols, electronic circuits, and concurrent programs....

Chủ đề:

Nội dung Text: Thời gian thực - hệ thống P7

Đồng bộ tài khoản