{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:00:10Z","timestamp":1725516010809},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540680628"},{"type":"electronic","value":"9783540680734"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68073-4_4","type":"book-chapter","created":{"date-parts":[[2008,7,28]],"date-time":"2008-07-28T09:04:46Z","timestamp":1217235886000},"page":"39-51","source":"Crossref","is-referenced-by-count":6,"title":["Component-Based Abstraction and Refinement"],"prefix":"10.1007","author":[{"given":"Juncao","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiuli","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Jacome, M.F., Peixoto, H.P.: A survey of digital design reuse. IEEE Design and Test of Computers\u00a018(3) (2001)","DOI":"10.1109\/54.922806"},{"key":"4_CR2","volume-title":"Component Software - Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software - Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)"},{"key":"4_CR3","unstructured":"Maliniak, D.: Assertion-based verification smooths the road to IP reuse. Electronic Design (September 2002)"},{"key":"4_CR4","unstructured":"IEEE: IEEE Property Specification Language (PSL) (IEEE Std 1850-2005). IEEE (2005)"},{"key":"4_CR5","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"key":"4_CR6","volume-title":"Concurrency Verification: Introduction to Compositional and Non-compositional Proof Methods","author":"W.P. Roever de","year":"2001","unstructured":"de Roever, W.P., de Boer, F., Hanneman, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Non-compositional Proof Methods. Cambridge University Press, Cambridge (2001)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: Proofs of networks of processes. IEEE Transaction on Software Engineering\u00a07(4) (1981)","DOI":"10.1109\/TSE.1981.230844"},{"key":"4_CR8","unstructured":"Jones, C.B.: Development methods for computer programs including a notion of interference. PhD thesis, Oxford University (1981)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. TOPLAS\u00a017(3) (1995)","DOI":"10.1145\/203095.201069"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.: Reactive modules. FMSD\u00a015(1) (1999)","DOI":"10.1023\/A:1008749012643"},{"key":"4_CR11","unstructured":"McMillan, K.L.: A methodology for hardware verification using compositional model checking. Cadence Design Systems Technical Reports (1999)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"K.S. Namjoshi","year":"2000","unstructured":"Namjoshi, K.S., Trefler, R.J.: On the completeness of compositional reasoning. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855. Springer, Heidelberg (2000)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N. Amla","year":"2001","unstructured":"Amla, N., Emerson, E.A., Namjoshi, K.S., Trefler, R.: Assume-guarantee based compositional reasoning for synchronous timing diagrams. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031. Springer, Heidelberg (2001)"},{"key":"4_CR14","volume-title":"Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach","author":"R.P. Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, Princeton (1994)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"R.H. Hardin","year":"1996","unstructured":"Hardin, R.H., Har\u2019El, Z., Kurshan., R.P.: COSPAN. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11901914_14","volume-title":"Automated Technology for Verification and Analysis","author":"F. Xie","year":"2006","unstructured":"Xie, F., Yang, G., Song, X.: Compositional reasoning for hardware\/software co-verification. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol.\u00a04218. Springer, Heidelberg (2006)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Alpern, B., Schneider, F.: Defining liveness. Information Processing Letters\u00a021(4) (1985)","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"4_CR18","volume-title":"Executable UML: A Foundation for Model Driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Reading (2002)"},{"key":"4_CR19","unstructured":"IEEE: IEEE Standard for Verilog (IEEE Std 1364-2005). IEEE (2005)"},{"key":"4_CR20","unstructured":"Xie, F., Yang, G., Song, X.: Component-based hardware\/software co-verification. In: Proc. of MEMOCODE (2006)"},{"key":"4_CR21","unstructured":"Xie, F., Song, X., Chung, H., Nandi, R.: Translation-based co-verification. In: Proc. of MEMOCODE (2005)"},{"key":"4_CR22","unstructured":"Kurshan, R.P.: FormalCheck User Manual. Cadence (1998)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Xie","year":"2002","unstructured":"Xie, F., Levin, V., Browne, J.C.: Objectcheck: A model checking tool for executable object-oriented software system designs. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol.\u00a02306. Springer, Heidelberg (2002)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Sa\u00efdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","High Confidence Software Reuse in Large Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68073-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:31:47Z","timestamp":1620001907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68073-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540680628","9783540680734"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68073-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}