An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Compositional model checking , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[2] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[3] Moshe Y. Vardi. Linear vs. branching time: a complexity-theoretic perspective , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[4] Bernhard Steffen,et al. Compositional Minimization of Finite State Systems , 1990, CAV.
[5] Doron A. Peled,et al. Verification for Robust Specification , 1997, TPHOLs.
[6] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[7] Farhad Arbab,et al. Coordination for Component Composition , 2006, FACS.
[8] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[9] Krzysztof R. Apt,et al. Logics and Models of Concurrent Systems , 1989, NATO ASI Series.
[10] Leslie Lamport,et al. What Good is Temporal Logic? , 1983, IFIP Congress.
[11] Carl A. Sunshine,et al. Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.
[12] Marilyn Bohl,et al. Information processing , 1971 .
[13] Martti Tienari,et al. An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm , 1991, Protocol Specification, Testing and Verification.
[14] I. H. Öğüş,et al. NATO ASI Series , 1997 .
[15] Stephan Merz,et al. Model Checking , 2000 .
[16] 하수철,et al. [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .
[17] Christel Baier,et al. Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..
[18] Wolfgang Thomas,et al. Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[19] A. Prasad Sistla,et al. Symmetry and model checking , 1993, Formal Methods Syst. Des..
[20] Martti Tienari,et al. Compositional failure-based semantic models for Basic LOTOS , 2005, Formal Aspects of Computing.
[21] Moshe Y. Vardi. Model Checking: A Complexity-Theoretic Perspective (invited talk) , 2002, Electron. Notes Theor. Comput. Sci..
[22] Jan van Leeuwen,et al. Handbook Of Theoretical Computer Science, Vol. A , 1990 .