{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:12:57Z","timestamp":1771045977367,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540232070","type":"print"},{"value":"9783540302032","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30203-2_17","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T18:59:27Z","timestamp":1285095567000},"page":"226-241","source":"Crossref","is-referenced-by-count":47,"title":["Model Checking Graph Transformations: A Comparison of Two Approaches"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1kos","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-28644-8_6","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P. Baldan","year":"2004","unstructured":"Baldan, P., Corradini, A., K\u00f6nig, B.: Verifying finite-state graph grammars: an unfolding-based approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 83\u201398. Springer, Heidelberg (2004)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45832-8_4","volume-title":"Graph Transformation","author":"P. Baldan","year":"2002","unstructured":"Baldan, P., K\u00f6nig, B.: Approximating the behaviour of graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 14\u201329. Springer, Heidelberg (2002)"},{"issue":"3\/4","key":"17_CR3","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026(3\/4), 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR4","series-title":"IFIP Conference Proceedings","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/978-0-387-35608-2_36","volume-title":"Foundations of Information Technology in the Era of Network and Mobile Computing","author":"D. Distefano","year":"2002","unstructured":"Distefano, D., Rensink, A., Katoen, J.-P.: Model checking birth and death. In: Baeza-Yates, R., Montanari, U., Santoro, N. (eds.) Foundations of Information Technology in the Era of Network and Mobile Computing. IFIP Conference Proceedings, vol.\u00a0223, pp. 435\u2013447. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-39958-2_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F.L. Dotti","year":"2003","unstructured":"Dotti, F.L., Foss, L., Ribeiro, L., Santos, O.M.: Verification of object-based distributed systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 261\u2013275. Springer, Heidelberg (2003)"},{"key":"17_CR6","series-title":"Applications, Languages and Tools","volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"17_CR7","first-page":"247","volume-title":"[18], chap. Algebraic Approaches to Graph Transformation \u2013 Part II: Single pushout approach and comparison with double pushout approach","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: In: [18], chap. Algebraic Approaches to Graph Transformation \u2013 Part II: Single pushout approach and comparison with double pushout approach, pp. 247\u2013312. World Scientific, Singapore (1997)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: In: [6], chap. The AGG-Approach: Language and Tool Environment, pp. 551\u2013603. World Scientific (1999)","DOI":"10.1142\/9789812815149_0014"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45832-8_14","volume-title":"Graph Transformation","author":"R. Heckel","year":"2002","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 161\u2013176. Springer, Heidelberg (2002)"},{"issue":"5","key":"17_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR12","volume-title":"The 22nd International Conference on Software Engineering (ICSE)","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: Tool demonstration: The FUJABA environment. In: The 22nd International Conference on Software Engineering (ICSE), ACM Press, Limerick (2000)"},{"key":"17_CR13","unstructured":"Rensink, A.: Towards model checking graph grammars. In: Leuschel, M., Gruner, S., Presti, S.L. (eds.) Proceedings of the 3rd Workshop on Automated Verification of Critical Systems, Technical Report DSSE\u2013TR\u20132003\u20132, pp. 150\u2013160. University of Southampton (2003)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-540-24725-8_28","volume-title":"Programming Languages and Systems","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: Canonical graph shapes. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 401\u2013415. Springer, Heidelberg (2004)"},{"key":"17_CR15","unstructured":"Rensink, A.: Graphs for object-oriented verification (2004), See http:\/\/www.cs.utwente.nl\/~groove"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Applications of Graph Transformations with Industrial Relevance (AGTIVE)","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Nagl, M., Pfalz, J., B\u00f6hlen, B. (eds.) Applications of Graph Transformations with Industrial Relevance (AGTIVE). LNCS, vol.\u00a03063, Springer, Heidelberg (2004)"},{"key":"17_CR17","series-title":"ENTCS","volume-title":"Automatic Verification of Infinite-State Systems (AVIS)","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: State space abstraction using shape graphs. In: Automatic Verification of Infinite-State Systems (AVIS). ENTCS, Elsevier, Amsterdam (2004) (to appear)"},{"key":"17_CR18","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations: Foundations","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, Singapore (1997)"},{"issue":"3","key":"17_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-45221-8_8","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"\u00c1. Schmidt","year":"2003","unstructured":"Schmidt, \u00c1., Varr\u00f3, D.: CheckVML: A tool for model checking visual modeling languages. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 92\u201395. Springer, Heidelberg (2003)"},{"key":"17_CR21","unstructured":"Sch\u00fcrr, A., Sim, S.E., Holt, R., Winter, A.: The GXL Graph eXchange Language, http:\/\/www.gupro.de\/GXL\/"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Towards common exchange formats for graphs and graph transformation systems. In: Padberg, J. (ed.) UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques. ENTCS, vol.\u00a044(4) (2001)","DOI":"10.1016\/S1571-0661(04)80941-1"},{"key":"17_CR23","series-title":"ENTCS","first-page":"57","volume-title":"Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D.: Towards symbolic analysis of visual modelling languages. In: Bottoni, P., Minas, M. (eds.) Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques. ENTCS, vol.\u00a072(3), pp. 57\u201370. Elsevier, Barcelona (2002)"},{"issue":"2","key":"17_CR24","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Journal of Software and Systems Modeling"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30203-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:54:45Z","timestamp":1620014085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30203-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232070","9783540302032"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30203-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}