1990 | ReviewPaper | Buchkapitel
Projections of the reachability graph and environment models
Two approaches to facilitate the functional analysis of systems of cooperating finite state machines
verfasst von : Heiko Krumm
Erschienen in: Automatic Verification Methods for Finite State Systems
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Projections of the reachability graph reduce the storage costs of the computation and support the evaluation. Secondly the specification of systems and their components is completed by restrictions to the behaviour of their environments. Components can then be analysed separately from each other, and in the analysis of a system components can be replaced by reduced substitutes. The decision of the abstract equality of indeterministic behaviours and the computation of reduced substitutes is based on the use of corresponding deterministic acceptors.