๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verification of scope-dependent hierarchical state machines

โœ Scribed by Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato

Book ID
113641761
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
482 KB
Volume
206
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The hierarchical control of ST-finite-st
The hierarchical control of ST-finite-state machines
โœ Peter E Caines; Vineet Gupta; Gang Shen ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 632 KB

This paper follows (Caines and Wei, 1995) where a new notion of state aggregation for finite machines was introduced via the concept of the dynamical consistency (DC) relation between the blocks of states in any given state-space partition n. This formulation results in a definition of high-level dy

The temporal Boolean derivative applied
The temporal Boolean derivative applied to verification of extended finite state machines
โœ E. Vandermeulen; H.A. Donegan; M. Larnac; J. Magnier ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 544 KB

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 sequ