{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:24Z","timestamp":1725494304183},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_22","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"300-315","source":"Crossref","is-referenced-by-count":4,"title":["Efficient Approximate Verification of Promela Models Via Symmetry Markers"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Bo\u0161na\u010dki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Massart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/s100090200074","volume":"4","author":"D. Bosnacki","year":"2002","unstructured":"Bosnacki, D., Dams, D., Holenderski, L.: Symmetric Spin. STTT\u00a04(1), 92\u2013106 (2002)","journal-title":"STTT"},{"issue":"1-2","key":"22_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Form. Methods Syst. Des.\u00a09(1-2), 77\u2013104 (1996)","journal-title":"Form. Methods Syst. Des."},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"CAV 1998","author":"E. Clarke","year":"1998","unstructured":"Clarke, E., Emerson, E., Jha, S., Sistla, A.: Symmetry reductions in model checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 147\u2013158. Springer, Heidelberg (1998)"},{"key":"22_CR5","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"22_CR6","first-page":"187","volume-title":"FIW 2003","author":"M. Calder","year":"2003","unstructured":"Calder, M., Miller, A.: Generalising feature interactions in email. In: FIW 2003, pp. 187\u2013204. IOS Press, Amsterdam (2003)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/11526841_32","volume-title":"FM 2005","author":"A. Donaldson","year":"2005","unstructured":"Donaldson, A., Miller, A.: Automatic symmetry detection for model checking using computational group theory. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 481\u2013496. Springer, Heidelberg (2005)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/11813040_36","volume-title":"FM 2006","author":"A. Donaldson","year":"2006","unstructured":"Donaldson, A., 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)"},{"key":"22_CR9","first-page":"63","volume":"185","author":"A. Donaldson","year":"2007","unstructured":"Donaldson, A., Miller, A.: Extending symmetry reduction techniques to a realistic model of computation. ENTCS\u00a0185, 63\u201376 (2007)","journal-title":"ENTCS"},{"issue":"1\/2","key":"22_CR10","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF00625970","volume":"9","author":"E. Emerson","year":"1996","unstructured":"Emerson, E., Sistla, A.: Symmetry and model checking. Formal Methods in System Design\u00a09(1\/2), 105\u2013131 (1996)","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"22_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/spe.4380180203","volume":"18","author":"G. Holzmann","year":"1988","unstructured":"Holzmann, G.: An improved protocol reachability analysis technique. Softw. Pract. Exper.\u00a018(2), 137\u2013161 (1988)","journal-title":"Softw. Pract. Exper."},{"key":"22_CR12","volume-title":"The SPIN model checker: Primer and reference manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN model checker: Primer and reference manual. Addison-Wesley, Reading (2003)"},{"issue":"1\/2","key":"22_CR13","first-page":"41","volume":"9","author":"C. Ip","year":"1996","unstructured":"Ip, C., Dill, D.: Better verification through symmetry. Formal Methods in System Design\u00a09(1\/2), 41\u201375 (1996)","journal-title":"Formal Methods in System Design"},{"key":"22_CR14","unstructured":"Leuschel, M., Massart, T.: Efficient approximate verification of B via symmetry markers. In: Proc. of the International Symmetry Conference, Edinburgh, UK, pp. 71\u201385 (January 2007)"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Symbolic Model Checking. PhD thesis, Boston (1993)","DOI":"10.1007\/978-1-4615-3190-6"},{"issue":"3","key":"22_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G. Peterson","year":"1981","unstructured":"Peterson, G.: Myths about the mutual exclusion problem. Inf. Process. Lett.\u00a012(3), 115\u2013116 (1981)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"22_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/350887.350891","volume":"9","author":"A. Sistla","year":"2000","unstructured":"Sistla, A., Gyuris, V., Emerson, E.: SMC: a symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Methodol.\u00a09(2), 133\u2013166 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"22_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04921-1","volume-title":"Algorithms on Trees and Graphs","author":"G. Valiente","year":"2002","unstructured":"Valiente, G.: Algorithms on Trees and Graphs. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:25:24Z","timestamp":1619519124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_22","relation":{},"subject":[]}}