Abstract
A method for automatic verification of trace and test equivalence between regular CCS specifications is presented. The method consists of two steps: (i) CCS specifications are transformed to deterministic, and finitely represented attributed trees, which we call test trees (TT's), and (ii) TT's are compared for verification of trace or test equivalence between the corresponding CCS specifications.
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
H. Afsharazad, L. Lindberg: "Implementing Algorithms and a Graphical Interface for Test Trees", M.Sc. thesis DoCS 88/12, Department of Computer Systems, Uppsala University, 1988, (in Swedish)
T. Bolognesi, S.A. Smolka: "Fundamental Results for the Verification of Observational Equivalence: a Survey", Proc. 7th Intl. Symp. on Protocol Specification, Testing and Verification, (1987)
S.D. Brookes, C.A.R. Hoare, A.W. Roscoe: "A Theory of Communicating Sequential Processes", J. ACM 31:3, pp 560–599, (1984)
I. Christoff: "Test Trees" (preliminary report), Research report DoCS 88/14, Department of Computer Systems, Uppsala University, 1988
I. Christoff: "Testing for Conformance", Proc. 2nd Intl. Symp. on Interoperable Information Systems, pp 273–280, (1988)
I. Christoff: "Distinguishing Probabilistic Processes Through Testing", Research report DoCS 89/16, Department of Computer Systems, Uppsala University, 1989
M. Hennessy: "Acceptance Trees", J. ACM 32:4, pp 896–928, (1985)
P.C. Kanellakis, S.A. Smolka: "CCS Expressions, Finite State Processes, and Three Problems of Equivalence", Proc. 2nd ACM Symp. on Principles of Distributed Computing, pp 228–240, (1983)
R. Milner: A Calculus of Communicating Systems, Springer-Verlag, LNCS 92, (1980)
R. De Nicola, M. Hennessy: "Testing Equivalences for Processes", Theoretical Computer Science 34, pp 83–133, (1984)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christoff, I. (1990). A method for verification of trace and test equivalence. 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_7
Download citation
DOI: https://doi.org/10.1007/3-540-52148-8_7
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