{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:59:01Z","timestamp":1725476341941},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410300"},{"type":"electronic","value":"9783540452973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722468_1","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:43:32Z","timestamp":1167479012000},"page":"1-19","source":"Crossref","is-referenced-by-count":7,"title":["Symmetric Spin"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Bo\u0161na\u010dki","sequence":"first","affiliation":[]},{"given":"Dennis","family":"Dams","sequence":"additional","affiliation":[]},{"given":"Leszek","family":"Holenderski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"AdjustPan script (April 2000), http:\/\/www.win.tue.nl\/~lhol\/SymmSpin","key":"1_CR1"},{"doi-asserted-by":"crossref","unstructured":"Bo\u0161na\u010dki, D., Dams, D.: Integrating real time into Spin: a prototype implementation. In: Budkowski, S., Cavalli, A., Najm, E. (eds.) Proc. of FORTE\/PSTV 1998 (Formal Description Techniques and Protocol Specification, Testing and Verification), Paris, France, October 1998, pp. 423\u2013438 (1998)","key":"1_CR2","DOI":"10.1007\/978-0-387-35394-4_26"},{"doi-asserted-by":"crossref","unstructured":"Bo\u0161na\u010dki, D., Dams, D., Holenderski, L.: A Heuristic for Symmetry Reductions with Scalarsets. In: FORTE 2000 (The 13th Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols) (2000) (submitted to)","key":"1_CR3","DOI":"10.1007\/3-540-45251-6_30"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00625969","volume":"19","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Formal Methods in System Design\u00a019, 77\u2013104 (1996)","journal-title":"Formal Methods in System Design"},{"key":"1_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"unstructured":"Dravapoulos, I., Pronios, N., Denazis, S., et al.: The Magic WAND, Deliverable 3D2, Wireless ATM MAC (September 1997)","key":"1_CR6"},{"doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Formal Models and Semantic. Handbook of Theoretical Computer Science, vol.\u00a0B, ch.16, pp. 995\u20131072. Elsevier\/The MIT Press (1990)","key":"1_CR7","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0035378","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E.A. Emerson","year":"1997","unstructured":"Emerson, E.A., Jha, S., Peled, D.: Combining partial order and symmetry reduc- tions. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 19\u201334. Springer, Heidelberg (1997)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/3-540-56922-7_38","volume-title":"Computer Aided Verification","author":"E.A. Emerson","year":"1993","unstructured":"Emerson, E.A., Sistla, A.P.: Symmetry and model checking. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 463\u2013478. Springer, Heidelberg (1993)"},{"doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Trefler, R.J.: Model checking real-time properties of symmetric systems. In: Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS), August 1998, pp. 427\u2013436 (1998)","key":"1_CR10","DOI":"10.1007\/BFb0055792"},{"key":"1_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\u2013157. Springer, Heidelberg (1999)"},{"issue":"4","key":"1_CR12","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 fai- rness assumptions: an automata-theoretic approach. ACM Transactions on Pro- gramming Languages and Systems\u00a019(4), 617\u2013638 (1997)","journal-title":"ACM Transactions on Pro- gramming Languages and Systems"},{"key":"1_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3126-2","volume-title":"On a method of multiprogramming","author":"W.H.J. Feijen","year":"1999","unstructured":"Feijen, W.H.J., van Gasteren, A.J.M.: On a method of multiprogramming. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Exploiting symmetry when model-checking software. In: Proc. of FORTE\/PSTV 1999 (Formal Methods for Protocol Engineering and Distributed Sy- stems), Beijing, October 1999, pp. 257\u2013275 (1999)","key":"1_CR14","DOI":"10.1007\/978-0-387-35578-8_15"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-63166-6_24","volume-title":"Computer Aided Verification","author":"V. Gyuris","year":"1997","unstructured":"Gyuris, V., Sistla, A.P.: On-the fly model checking under fairness that exploits symmetry. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 232\u2013243. Springer, Heidelberg (1997)"},{"unstructured":"Holzmann, G.J.: Design and Validation of Communication Protocols, Prentice Hall (1991), Also: http:\/\/netlib.bell-labs.com\/netlib\/spin\/whatispin.html","key":"1_CR16"},{"unstructured":"Ip, C.N., Dill, D.L.: Better verification through symmetry. In: Agnew, D., Cla- esen, L.C., Camposano, R. (eds.) Proc. of the 1993 Conference on Computer Hardware Description Languages and their Applications (April 1993)","key":"1_CR17"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00625968","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, 41\u201375 (1996)","journal-title":"Formal Methods in System Design"},{"unstructured":"Ip, C.N.: State Reduction Methods for Automatic Formal Verification, PhD thesis, Department of Computer Science of Stanford University (December 1996)","key":"1_CR19"},{"unstructured":"Lipskiy, V.: Kombinatorika dlya programmistov, Mir, Moscow, (1988) (in Russian)","key":"1_CR20"},{"key":"1_CR21","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco (1996)"},{"doi-asserted-by":"crossref","unstructured":"Nalumasu, R., Gopalakrishnan, G.: Explicit-enumeration based Verification made Memory-efficient. In: Proc. of CHDL 1995 (Computer Hardware Description Languages), Chiba, Japan, August 1995, pp. 617\u2013622 (1995)","key":"1_CR22","DOI":"10.1109\/ASPDAC.1995.486378"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/3-540-53863-1_36","volume-title":"Advances in Petri Nets 1990","author":"A. Valmari","year":"1991","unstructured":"Valmari, A.: Stubborn sets for reduced state space generation. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 491\u2013515. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","SPIN Model Checking and Software Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722468_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T07:17:22Z","timestamp":1683703042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722468_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410300","9783540452973"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/10722468_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}