{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:49Z","timestamp":1748071609120,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_18","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T03:58:10Z","timestamp":1193716690000},"page":"232-244","source":"Crossref","is-referenced-by-count":19,"title":["The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited."],"prefix":"10.1007","author":[{"given":"Gerard J.","family":"Holzmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Y. Dong, X. Du, et al., Fighting livelock in the i-protocol: a comparative study of verification tools. Proc. TACAS99, Amsterdam, The Netherlands, March 1999.","DOI":"10.1007\/3-540-49059-0_6"},{"key":"18_CR2","unstructured":"Y. Dong and C.R. Ramakrishnan. An optimizing compiler for efficient model checking. Unpublished manuscript, available from: http:\/\/www.cs.sunysb.edu\/~lmc\/papers\/compiler\/ ."},{"key":"18_CR3","volume-title":"Proc. Conf. on Formal Description Techniques","author":"G.J. Holzmann","year":"1994","unstructured":"G.J. Holzmann, D. Peled, An improvement in formal verification, Proc. Conf. on Formal Description Techniques, Proc. FORTE94, Berne, Switzerland, 1994."},{"key":"18_CR4","volume-title":"Proc. Third Spin Workshop","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann, State Compression in Spin, Proc. Third Spin Workshop, April 1997, Twente University, The Netherlands."},{"issue":"5","key":"18_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"\u2014, The model checker Spin, IEEE Trans. on Software Engineering, Vol.23, No. 5, May 1997, pp. 279\u2013295.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"18_CR6","unstructured":"\u2014 and A. Puri, A Minimized Automaton Representation of Reachable States, Software Tools for Technology Transfer, Springer Verlag, Vol. 3, No. 1, 1999."},{"key":"18_CR7","unstructured":"\u2014, Designing executable abstractions, Proc. Workshop on Formal Methods in Software Practice, Clearwater Beach, Fl., March 1998, ACM Press."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"\u2014 and M.H. Smith, A practical method for the verification of event driven software. Proc. ICSE99, Int. Conf. on Software Engineering, Los Angeles, CA, May 1999, pp. 597\u2013607.","DOI":"10.1145\/302405.302710"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"K. McMillan, Symbolic model checking. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Y.S. Ramakrishna, C.R. Ramakrishnan, et al., Efficient model checking using tabled resolution. Proc. CAV97, LNCS 1254, pp. 143\u2013154, Springer Verlag.","DOI":"10.1007\/3-540-63166-6_16"},{"key":"18_CR11","volume-title":"Computer Science Technical Report","author":"H.Y. Schoot van der","year":"1996","unstructured":"HY. van der Schoot and H. Ural, An improvement on partial order model checking with ample sets. Computer Science Technical Report, TR-96-11, Univ. of Ottawa, Canada, Sept. 1996."}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T00:40:13Z","timestamp":1737506413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}