THE TEMPORAL BOOLEAN DERIVATIVE APPLIED TO VERIFICATION OF EXTENDED FINITE-STATE MACHINES

被引：2
|
作者：
VANDERMEULEN, E [1 ]
DONEGAN, HA [1 ]
LARNAC, M [1 ]
MAGNIER, J [1 ]
机构：
[1] UNIV ULSTER,JORDANSTOWN BT37 0QB,ANTRIM,NORTH IRELAND
来源：
COMPUTERS & MATHEMATICS WITH APPLICATIONS | 1995年 / 30卷 / 02期
关键词：
BOOLEAN DERIVATIVE; TEMPORAL LOGIC; SEQUENTIAL MACHINE;
D O I：
10.1016/0898-1221(95)00075-A
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Extended finite state machines are an important feature of modern computers. Their verification, unlike sequential system testing, is very complex and has received little attention in literature. This paper suggests a model based on a symbolic representation to describe the temporal behavior of sequential machines. Two examples of different architectures illustrate the application of the methodology.
引用
收藏
页码：27 / 36
页数：10
相关论文
共 50 条
  • [1] Temporal boolean derivative applied to verification of extended finite state machines
    EMA-EERIE Parc Scientifique G. Besse, Nimes, France
    Comput Math Appl, 2 (27-36):
  • [2] A framework for compositional nonblocking verification of extended finite-state machines
    Sahar Mohajerani
    Robi Malik
    Martin Fabian
    Discrete Event Dynamic Systems, 2016, 26 : 33 - 84
  • [3] A framework for compositional nonblocking verification of extended finite-state machines
    Mohajerani, Sahar
    Malik, Robi
    Fabian, Martin
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (01): : 33 - 84
  • [4] AUTOMATED VERIFICATION OF RESPONSIVE PROTOCOLS MODELED BY EXTENDED FINITE-STATE MACHINES
    KAKUDA, Y
    KIKUNO, T
    KAWASHIMA, K
    REAL-TIME SYSTEMS, 1994, 7 (03) : 275 - 289
  • [5] TESTING FINITE-STATE MACHINES - STATE IDENTIFICATION AND VERIFICATION
    LEE, D
    YANNAKAKIS, M
    IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (03) : 306 - 320
  • [6] Verification of finite-state machines: A distributed approach
    Gorrieri, Roberto
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80
  • [7] Verification of Hypermedia Characteristic of RESTful Finite-State Machines
    Vu, Henry
    Fertig, Tobias
    Braun, Peter
    COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), 2018, : 1881 - 1886
  • [8] Distributed extended Finite-State Machines: Communication and control
    Mannani, A.
    Yang, Y.
    Gohari, P.
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 161 - +
  • [9] A VERIFICATION METHOD VIA INVARIANT FOR COMMUNICATION PROTOCOLS MODELED AS EXTENDED COMMUNICATING FINITE-STATE MACHINES
    HIGUCHI, M
    SHIRAKAWA, O
    SEKI, H
    FUJII, M
    KASAMI, T
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1993, E76B (11) : 1363 - 1372
  • [10] Implementation of supervisory control using extended finite-state machines
    Yang, Y.
    Mannani, A.
    Gohari, P.
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 39 (12) : 1115 - 1125
12345