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 条

[41] A SURVEY OF THE THEORY OF FINITE-STATE LOGICAL MACHINES
HUFFMAN, D
PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1959, 47 (03): : 478 - 478
[42] A thermodynamically consistent model of finite-state machines
Chu, Dominique
Spinney, Richard E.
INTERFACE FOCUS, 2018, 8 (06)
[43] HEURISTIC PROCEDURE FOR REDUCTION OF FINITE-STATE MACHINES
STENTIFORD, FW
LEWIN, DW
ELECTRONICS LETTERS, 1971, 7 (23) : 700 - +
[44] High-speed finite-state machines
Hoff, B
DR DOBBS JOURNAL, 1997, 22 (11): : 54 - +
[45] Model reduction of finite-state machines by contraction
Giua, A
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (05) : 797 - 801
[46] Probabilistic finite-state machines - Part I
Vidal, E
Thollard, F
de la Higuera, C
Casacuberta, F
Carrasco, RC
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2005, 27 (07) : 1013 - 1025
[47] PROVING PROPERTIES OF A RING OF FINITE-STATE MACHINES
SUZUKI, I
INFORMATION PROCESSING LETTERS, 1988, 28 (04) : 213 - 214
[48] SIMULATING CHAOTIC BEHAVIOR WITH FINITE-STATE MACHINES
BINDER, PM
JENSEN, RV
PHYSICAL REVIEW A, 1986, 34 (05) : 4460 - 4463
[49] SPECIFICATION AND SYNTHESIS OF COMMUNICATING FINITE-STATE MACHINES
BELHADJ, H
GERBAUX, L
BERTRAND, MC
SAUCIER, G
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 91 - 102
[50] On a class of optimal abstractions of finite-state machines
Oikonomou, KN
FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (03) : 195 - 220

← 1 2 3 4 5 →