{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:14:12Z","timestamp":1726409652334},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026515"},{"type":"electronic","value":"9783642026522"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02652-2_8","type":"book-chapter","created":{"date-parts":[[2009,6,25]],"date-time":"2009-06-25T07:43:06Z","timestamp":1245915786000},"page":"50-67","source":"Crossref","is-referenced-by-count":3,"title":["Improving Non-Progress Cycle Checks"],"prefix":"10.1007","author":[{"given":"David","family":"Farag\u00f3","sequence":"first","affiliation":[]},{"given":"Peter H.","family":"Schmitt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s100090050035","volume":"2","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Minea, M., Peled, D.: State space reduction using partial order techniques. International Journal on Software Tools for Technology Transfer (STTT)\u00a02, 279\u2013287 (1999)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"8_CR2","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999); third printing, 2001 edition"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49059-0_6","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"Y. Dong","year":"1999","unstructured":"Dong, Y., Du, X., Ramakrishna, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Sokolsky, O., Stark, E.W., Warren, D.S.: Fighting livelock in the i-protocol: a comparative study of verification tools. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 74\u201388. Springer, Heidelberg (1999)"},{"key":"8_CR4","unstructured":"Farag\u00f3, D.: Model checking of randomized leader election algorithms. Master\u2019s thesis, Universit\u00e4t Karlsruhe (2007)"},{"key":"8_CR5","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall Software Series (1992)"},{"key":"8_CR6","volume-title":"The SPIN Model Checker: primer and reference manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker: primer and reference manual, 1st edn. Addison Wesley, Reading (2004)","edition":"1"},{"key":"8_CR7","first-page":"197","volume-title":"Proceedings of the Formal Description Techniques 1994","author":"G.J. Holzmann","year":"1994","unstructured":"Holzmann, G.J., Peled, D.: An improvement in formal verification. In: Proceedings of the Formal Description Techniques 1994, Bern, Switzerland, pp. 197\u2013211. Chapman & Hall, Boca Raton (1994)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Peled, D., Yannakakis, M.: On nested depth-first search. In: Proceedings of the Second SPIN Workshop, Rutgers Univ., New Brunswick, NJ, August 1996, pp. 23\u201332. American Mathematical Society. DIMACS\/32 (1996)","DOI":"10.1090\/dimacs\/032\/03"},{"issue":"2","key":"8_CR9","first-page":"145","volume":"3","author":"S.M.S. Islam","year":"2006","unstructured":"Islam, S.M.S., Sqalli, M.H., Khan, S.: Modeling and formal verification of DHCP using SPIN. IJCSA\u00a03(2), 145\u2013159 (2006)","journal-title":"IJCSA"},{"key":"8_CR10","first-page":"394","volume-title":"Software Tools for Technology Transfer","author":"M. Kamel","year":"2000","unstructured":"Kamel, M., Leue, S.: Formalization and validation of the general inter-orb protocol (GIOP) using PROMELA and SPIN. In: Software Tools for Technology Transfer, pp. 394\u2013409. Springer, Heidelberg (2000)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Peled, D.: Combining partial order reductions with on-the-fly model-checking. In: 6th International Conference on Computer Aided Verification, Stanford, California (1994)","DOI":"10.1007\/3-540-58179-0_69"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02652-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:37:19Z","timestamp":1558391839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02652-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026515","9783642026522"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02652-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}