Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aggarwal, S.; Barbara, D.; Meth, K.; SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols; IEEE Transactions on Software Engineering 13,12(1987)1218–1237
Bartlett, K.; Scantlebury, R.; Wilkonson, P.; A Note on Reliable Full Duplex Transmissions over Half-Duplex Links; Communications of the ACM 12,5(1969)260–261
Bolognesi, T.; Brinksma, E.; Introduction into the ISO Specification Language LOTOS; Computer Networks and ISDN Systems 14(1987)25–59
Budkowski, S.; Dembinski, P.; An Introduction to Estelle: A Specification Language for Distributed Systems; Computer Networks and ISDN Systems 14(1987)3–23
Burkhardt, H.; Eckert, H.; Prinoth, R.; Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets; in Protocol Specification, Testing, and Verification IV, Y. Yemini, R. Strom, S. Yemini (eds.), North-Holland, Amsterdam (1985)165–192
Cavalli, A.; Paul, E.; Exhaustive Analysis and Simulation for Distributed Systems, Both Sides of the Same Coin; Distributed Computing 2(1988)213–225
Danthine, A.; Protocol Representation with Finite State Models; in P. Green (ed.), Computer Network Architectures and Protocols, Plenum Press, New York (1983)579–606
Diaz, M.; Modeling and Analysis of Communication and Cooperation Protocols using Petri-Net Based Models; Computer Networks, 6(1982)419–441
Fernandez, J.; Richier, J.; Voiron, J.; Verification of Protocol Specifications Using the Cesar System; in M. Diaz (ed.), Protocol Specification, Testing, and Verification V, North-Holland, Amsterdam (1986)71–90
Hoare, C.; An Axiomatic Basis for Computer Programming; Communications of the ACM 12(1969)576–580
Holzmann, G.; Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching; IEEE Transactions on Software Engineering 13,6(1987)683–696
Holzmann, G.; On Limits and Possibilities of Automated Protocol Analysis; in Protocol Specification, Testing, and Verification VII, H. Rudin, C. West (eds.), North-Holland, Amsterdam (1987)339–344
Krumm, H.; Drobnik, O.; Interactive Verification of Communication Software on the Basis of CIL; Computer Communications Review 14,2(1984)92–99
Krumm, H.; Drobnik, O.; Problem-Oriented Logical Specifications of Communication Services and Protocols; in Proc. of the 8th International Conference on Computer Communication(ICCC), P. Kühn (ed.), Elsevier Science Publishers, (1986)474–478
Milner, R.; A Calculus of Communicating Systems (CCS); Springer Verlag, Berlin (1980)
Nicola de, R.; Hennessy, M.; Testing Equivalences for Processes; Theoretical Computer Science 34(1984)83–133
Olderog, E.-R.; Hoare, C.; Specification-Oriented Semantics for Communicating Processes; Acta Informatica 23(1986)9–66
Rudin, H.; Tools for Protocols Driven by Formal Specifications; in Kündig, A.; Bührer, R.; Dähler, J.(eds.); Embedded Systems; Springer Verlag, Berlin (1987)127–152
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krumm, H. (1990). Projections of the reachability graph and environment models. In: Sifakis, J. (eds) Automatic Verification Methods for Finite State Systems. CAV 1989. Lecture Notes in Computer Science, vol 407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52148-8_8
Download citation
DOI: https://doi.org/10.1007/3-540-52148-8_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52148-8
Online ISBN: 978-3-540-46905-6
eBook Packages: Springer Book Archive