{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:24:00Z","timestamp":1725891840874},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472377"},{"type":"electronic","value":"9783540472384"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901914_4","type":"book-chapter","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T01:21:43Z","timestamp":1160443303000},"page":"9-23","source":"Crossref","is-referenced-by-count":24,"title":["Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives"],"prefix":"10.1007","author":[{"given":"Alastair F.","family":"Donaldson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alice","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1059816.1059821","volume":"32","author":"C. Baier","year":"2005","unstructured":"Baier, C., Ciesinski, F., Gr\u00f6\u00dfer, M.: ProbMela and verification of Markov decision processes. SIGMETRICS Performance Evaluation Review\u00a032(4), 22\u201327 (2005)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s004460050046","volume":"11","author":"C. Baier","year":"1998","unstructured":"Baier, C., Kwiatkowska, M.: Model checking for a probabilistic branching time logic with fairness. Distributed Computing\u00a011, 125\u2013155 (1998)","journal-title":"Distributed Computing"},{"issue":"1\u20132","key":"4_CR3","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10703-005-2246-x","volume":"27","author":"S. Barner","year":"2005","unstructured":"Barner, S., Grumberg, O.: Combining symmetry reduction and under-approximation for symbolic model checking. Formal Methods in System Design\u00a027(1\u20132), 29\u201366 (2005)","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s100090200074","volume":"4","author":"D. Bosnacki","year":"2002","unstructured":"Bosnacki, D., Dams, D., Holenderski, L.: Symmetric spin. International Journal on Software Tools for Technology Transfer\u00a04(1), 65\u201380 (2002)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"Computer Aided Verification","author":"E.M. Clarke","year":"1998","unstructured":"Clarke, E.M., Emerson, E.A., Jha, S., Sistla, A.P.: Symmetry reductions in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 147\u2013158. Springer, Heidelberg (1998)"},{"issue":"1\u20132","key":"4_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Enders, R., Filkhorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Formal Methods in System Design\u00a09(1\u20132), 77\u2013104 (1996)","journal-title":"Formal Methods in System Design"},{"issue":"5","key":"4_CR7","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/32.387472","volume":"21","author":"S. Dolev","year":"1995","unstructured":"Dolev, S., Israeli, A., Moran, S.: Analysing expected time by scheduler-luck games. IEEE Transactions on Software Engineering\u00a021(5), 429\u2013439 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR8","unstructured":"Donaldson, A.F., Miller, A.: Symmetry reduction for probabilistic systems. In: Proc. 12th Workshop on Automated Reasoning, pp. 17\u201318 (2005)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/11813040_36","volume-title":"FM 2006: Formal Methods","author":"A.F. Donaldson","year":"2006","unstructured":"Donaldson, A.F., Miller, A.: Exact and approximate strategies for symmetry reduction in model checking. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 541\u2013556. Springer, Heidelberg (2006)"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1145\/262004.262008","volume":"19","author":"E.A. Emerson","year":"1997","unstructured":"Emerson, E.A., Sistla, A.P.: Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach. ACM Transactions on Programming Languages and Systems\u00a019(4), 617\u2013638 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/3-540-48153-2_12","volume-title":"Correct Hardware Design and Verification Methods","author":"E.A. Emerson","year":"1999","unstructured":"Emerson, E.A., Trefler, R.J.: From asymmetry to full symmetry: new techniques for symmetry reduction in model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 142\u2013156. Springer, Heidelberg (1999)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-39724-3_20","volume-title":"Correct Hardware Design and Verification Methods","author":"E.A. Emerson","year":"2003","unstructured":"Emerson, E.A., Wahl, T.: On combining symmetry reduction and symbolic representation for efficient model checking. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 216\u2013230. Springer, Heidelberg (2003)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-31980-1_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E.A. Emerson","year":"2005","unstructured":"Emerson, E.A., Wahl, T.: Dynamic symmetry reduction. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 382\u2013396. Springer, Heidelberg (2005)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.entcs.2005.03.019","volume":"130","author":"E.A. Emerson","year":"2005","unstructured":"Emerson, E.A., Wahl, T.: Efficient reduction techniques for systems with many components. Electronic Notes in Theoretical Computer Science\u00a0130, 379\u2013399 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR15","first-page":"140","volume-title":"TOOLS 1998","author":"E. Gagnon","year":"1998","unstructured":"Gagnon, E., Hendren, L.J.: SableCC, an object-oriented compiler framework. In: TOOLS 1998, pp. 140\u2013154. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"4_CR16","unstructured":"GRIP website, \n                    \n                      http:\/\/www.dcs.gla.ac.uk\/people\/personal\/ally\/grip\/"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06(4), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"issue":"1\/2","key":"4_CR19","first-page":"41","volume":"9","author":"C.N. Ip","year":"1996","unstructured":"Ip, C.N., Dill, D.L.: Better verification through symmetry. Formal Methods in System Design\u00a09(1\/2), 41\u201375 (1996)","journal-title":"Formal Methods in System Design"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/11817963_23","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Symmetry reduction for probabilistic model checking. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144. Springer, Heidelberg (2006)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Information and Computation\u00a094, 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Miller, A., Donaldson, A., Calder, M.: Symmetry in temporal logic model checking. Computing Surveys (to appear, 2006)","DOI":"10.1145\/1132960.1132962"},{"key":"4_CR23","unstructured":"PRISM website, \n                    \n                      http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/"},{"issue":"1","key":"4_CR24","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01843570","volume":"1","author":"A. Pnueli","year":"1986","unstructured":"Pnueli, A., Zuck, L.: Verification of multiprocess probabilistic protocols. Distributed Computing\u00a01(1), 53\u201372 (1986)","journal-title":"Distributed Computing"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Rutten, J.J.M.M., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol.\u00a023. American Mathematical Society (2004)","DOI":"10.1090\/crmm\/023"},{"issue":"2","key":"4_CR26","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing\u00a02(2), 250\u2013273 (1995)","journal-title":"Nordic Journal of Computing"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901914_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:37:12Z","timestamp":1619494632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901914_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472377","9783540472384"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11901914_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}