{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:10Z","timestamp":1725491890368},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732099"},{"type":"electronic","value":"9783540732105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73210-5_4","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T00:03:05Z","timestamp":1189641785000},"page":"54-74","source":"Crossref","is-referenced-by-count":2,"title":["Slicing Concurrent Real-Time System Specifications for Verification"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Br\u00fcckner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Br\u00fcckner, I.: Slicing CSP-OZ-DC Specifications for Verification. Technical report, Univ. Oldenburg (2007) \n                  \n                    http:\/\/csd.informatik.uni-oldenburg.de\/~ingo\/ifm07.pdf"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-69868-5","volume-title":"FSEN 2007","author":"I. Br\u00fcckner","year":"2007","unstructured":"Br\u00fcckner, I., Dr\u00e4ger, K., Finkbeiner, B., Wehrheim, H.: Slicing Abstractions (to appear). In: FSEN 2007. LNCS, Springer, Heidelberg (to appear, 2007)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/11576280_25","volume-title":"Formal Methods and Software Engineering","author":"I. Br\u00fcckner","year":"2005","unstructured":"Br\u00fcckner, I., Wehrheim, H.: Slicing an Integrated Formal Method for Verification. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 360\u2013374. Springer, Heidelberg (2005)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/11415787_24","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"I. Br\u00fcckner","year":"2005","unstructured":"Br\u00fcckner, I., Wehrheim, H.: Slicing Object-Z Specifications for Verification. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 414\u2013433. Springer, Heidelberg (2005)"},{"key":"4_CR5","first-page":"138","volume-title":"SIGSOFT ISSTA","author":"D. Chang","year":"1994","unstructured":"Chang, D., Richardson, D.: Static and Dynamic Specification Slicing. In: SIGSOFT ISSTA, pp. 138\u2013153. ACM Press, New York (1994)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement. In: CAV 2000, pp. 154\u2013169 (2000)","DOI":"10.1007\/10722167_15"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M.B. Dwyer","year":"2006","unstructured":"Dwyer, M.B., Hatcliff, J., Hoosier, M., Ranganath, V., Wallentine, R., Wallentine, T.: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, Springer, Heidelberg (2006)"},{"key":"4_CR8","first-page":"76","volume-title":"FMCAD 2006","author":"J. Faber","year":"2006","unstructured":"Faber, J., Meyer, R.: Model Checking Data-Dependent Real-Time Properties of the European Train Control System. In: FMCAD 2006, pp. 76\u201377. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"Hansen, M.R., Chaochen, Z.: Duration Calculus: Logical Foundations. Formal Aspects of Computing\u00a09, 283\u2013330 (1997)","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026599015809","volume":"13","author":"J. Hatcliff","year":"2000","unstructured":"Hatcliff, J., Dwyer, M., Zheng, H.: Slicing Software for Model Construction. Higher-order and Symbolic Computation\u00a013(4), 315\u2013353 (2000)","journal-title":"Higher-order and Symbolic Computation"},{"key":"4_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"4_CR12","unstructured":"Hoenicke, J.: Combination of Processes, Data, and Time. PhD thesis, Univ. of Oldenburg (2006)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/11526841_31","volume-title":"FM 2005: Formal Methods","author":"J. Hoenicke","year":"2005","unstructured":"Hoenicke, J., Maier, P.: Model-checking specifications integrating processes, data and time. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 465\u2013480. Springer, Heidelberg (2005)"},{"issue":"1-4","key":"4_CR14","first-page":"187","volume":"60","author":"A. Janowska","year":"2004","unstructured":"Janowska, A., Janowski, P.: Slicing Timed Systems. Fundamenta Informaticae\u00a060(1-4), 187\u2013210 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed communicating Object-Z. IEEE Transactions on Software Engineering\u00a026(2), 150\u2013177 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11921240_23","volume-title":"Theoretical Aspects of Computing - ICTAC 2006","author":"R. Meyer","year":"2006","unstructured":"Meyer, R., Faber, J., Rybalchenko, A.: Model Checking Duration Calculus: A Practical Approach. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol.\u00a04281, pp. 332\u2013346. Springer, Heidelberg (2006)"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s100090050041","volume":"2","author":"L. Millett","year":"2000","unstructured":"Millett, L., Teitelbaum, T.: Issues in Slicing Promela and its Applications to Model Checking. STTT\u00a02(4), 343\u2013349 (2000)","journal-title":"STTT"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0028727","volume-title":"Computer Aided Verification","author":"D.A. Peled","year":"1998","unstructured":"Peled, D.A.: Ten years of partial order reduction. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 17\u201328. Springer, Heidelberg (1998)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Practical Aspects of Declarative Languages","author":"A. Podelski","year":"2006","unstructured":"Podelski, A., Rybalchenko, A.: ARMC: the logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, Springer, Heidelberg (2006)"},{"key":"4_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s001650200003","volume":"13","author":"G. Smith","year":"2002","unstructured":"Smith, G., Hayes, I.J.: An introduction to Real-Time Object-Z. Formal Aspects of Computing\u00a013(2), 128\u2013141 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR22","unstructured":"Syspect. Endbericht der Projektgruppe Syspect. Technical report, Univ. of Oldenburg (2006), \n                  \n                    http:\/\/syspect.informatik.uni-oldenburg.de\/"},{"issue":"3","key":"4_CR23","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages\u00a03(3), 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","first-page":"416","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"H. Treharne","year":"2002","unstructured":"Treharne, H., Schneider, S.A.: Communicating B Machines. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 416\u2013435. Springer, Heidelberg (2002)"},{"issue":"7","key":"4_CR25","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J.C.P. Woodcock","year":"2002","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"issue":"8","key":"4_CR27","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1026474.1026481","volume":"39","author":"F. Wu","year":"2004","unstructured":"Wu, F., Yi, T.: Slicing Z Specifications. SIGPLAN\u00a039(8), 39\u201348 (2004)","journal-title":"SIGPLAN"},{"issue":"2","key":"4_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B. Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT SEN\u00a030(2), 1\u201336 (2005)","journal-title":"SIGSOFT SEN"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73210-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:05:47Z","timestamp":1619503547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73210-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540732099","9783540732105"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73210-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}