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

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

lượt xem

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

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

VISUAL FORMALISM, STATECHARTS, AND STATEMATE Finite-state machines (FSMs) have been used extensively in the specification and analysis of many computer-based as well as non-computer-based systems, ranging from electronic circuits to econometric models. They can model in detail the behavior of a system, and several algorithms exist to perform the analysis. Unfortunately, classical state machines such as those employed in the standard, explicit-state CTL model-checking approach [Clarke, Emerson, and Sistla, 1986] lack support for modularity and suffer from exponential-state explosion. ...

Chủ đề:

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

Đồng bộ tài khoản