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

Authors
VANDERMEULEN E DONEGAN HA LARNAC M MAGNIER J
Citation
E. Vandermeulen et al., THE TEMPORAL BOOLEAN DERIVATIVE APPLIED TO VERIFICATION OF EXTENDED FINITE-STATE MACHINES, Computers & mathematics with applications, 30(2), 1995, pp. 27-36
Citations number
8
Categorie Soggetti
Computer Sciences",Mathematics,"Computer Science Interdisciplinary Applications
Journal title
Computers & mathematics with applications → ACNP
ISSN journal
08981221
Volume
30
Issue
2
Year of publication
1995
Pages
27 - 36
Database
ISI
SICI code
0898-1221(1995)30:2<27:TTBDAT>2.0.ZU;2-C
Abstract
Extended finite state machines are an important feature of modern comp uters. Their verification, unlike sequential system testing, is very c omplex and has received little attention in literature. This paper sug gests a model based on a symbolic representation to describe the tempo ral behavior of sequential machines. Two examples of different archite ctures illustrate the application of the methodology.