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 条
  • [21] Finite-state temporal projection
    Fernando, Tim
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 230 - 241
  • [22] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
    HUNT, BR
    IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
  • [23] Model matching for finite-state machines
    Di Benedetto, MD
    Sangiovanni-Vincentelli, A
    Villa, T
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) : 1726 - 1743
  • [24] In vitro implementation of finite-state machines
    Garzon, M
    Gao, Y
    Rose, JA
    Murphy, RC
    Deaton, R
    Franceschetti, DR
    Stevens, SE
    AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
  • [25] Abstractions of random finite-state machines
    Oikonomou, KN
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 171 - 207
  • [26] CHEMICAL IMPLEMENTATION OF FINITE-STATE MACHINES
    HJELMFELT, A
    WEINBERGER, ED
    ROSS, J
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1992, 89 (01) : 383 - 387
  • [27] Abstractions of Random Finite-State Machines
    Kostas N. Oikonomou
    Formal Methods in System Design, 2001, 18 : 171 - 207
  • [28] Training Linear Finite-State Machines
    Ardakani, Arash
    Ardakani, Amir
    Gross, Warren J.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
  • [29] Product Construction of Finite-State Machines
    Hsieh, Samuel C.
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 141 - 143
  • [30] CASCADE SYNTHESIS OF FINITE-STATE MACHINES
    ZEIGER, HP
    INFORMATION AND CONTROL, 1967, 10 (04): : 419 - &
12345