{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:19Z","timestamp":1725511999735},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_23","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:40:01Z","timestamp":1182847201000},"page":"331-346","source":"Crossref","is-referenced-by-count":4,"title":["Can Saturation Be Parallelised?"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Ezekiel","sequence":"first","affiliation":[]},{"given":"Gerald","family":"L\u00fcttgen","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Siminiceanu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"IPDPS","author":"M.-Y. Chung","year":"2006","unstructured":"Chung, M.-Y., Ciardo, G.: A dynamic firing speculation to speedup distributed symbolic state-space generation. In: IPDPS, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"23_CR2","first-page":"272","volume-title":"QEST","author":"M.-Y. Chung","year":"2004","unstructured":"Chung, M.-Y., Ciardo, G.: Saturation NOW. In: QEST, pp. 272\u2013281. IEEE Computer Society Press, Los Alamitos (2004)"},{"unstructured":"Ciardo, G., Jones, R., Miner, A., Siminiceanu, R.: SMART: Stochastic model analyzer for reliability and timing. In: Tools of Measurement, Modelling and Evaluation of Computer-Communication Systems, pp. 29\u201334 (2001)","key":"23_CR3"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-45319-9_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Ciardo","year":"2001","unstructured":"Ciardo, G., L\u00fcttgen, G., Siminiceanu, R.: Saturation: An efficient iteration strategy for symbolic state-space generation. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031, pp. 328\u2013342. Springer, Heidelberg (2001)"},{"issue":"4","key":"23_CR5","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A. Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NUSMV: A new symbolic model checker. STTT\u00a02(4), 410\u2013425 (2000)","journal-title":"STTT"},{"key":"23_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"23_CR7","first-page":"49","volume-title":"Best of PLDI","author":"S.L. Graham","year":"1982","unstructured":"Graham, S.L., Kessler, P.B., McKusick, M.K.: gprof: A call graph execution profiler (with retrospective). In: Best of PLDI, pp. 49\u201357. ACM Press, New York (1982)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/11560548_12","volume-title":"Correct Hardware Design and Verification Methods","author":"O. Grumberg","year":"2005","unstructured":"Grumberg, O., Heyman, T., Ifergan, N., Schuster, A.: Achieving speedups in distributed symbolic reachability analysis through asynchronous computation. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 129\u2013145. Springer, Heidelberg (2005)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-540-45069-6_5","volume-title":"Computer Aided Verification","author":"O. Grumberg","year":"2003","unstructured":"Grumberg, O., Heyman, T., Schuster, A.: A work-efficient distributed algorithm for reachability analysis. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 54\u201366. Springer, Heidelberg (2003)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/10722167_6","volume-title":"Computer Aided Verification","author":"T. Heyman","year":"2000","unstructured":"Heyman, T., Geist, D., Grumberg, O., Schuster, A.: Achieving scalability in parallel reachability analysis of very large circuits. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 20\u201335. Springer, Heidelberg (2000)"},{"unstructured":"Inggs, C.P.: Parallel Model Checking On Shared Memory Architectures. PhD thesis, University of Manchester, UK (2004)","key":"23_CR11"},{"issue":"1-2","key":"23_CR12","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R., S.-Vincentelli, A.L.: Multi-valued decision diagrams: Theory and applications. Multiple-Valued Logic\u00a04(1-2), 9\u201362 (1998)","journal-title":"Multiple-Valued Logic"},{"key":"23_CR13","volume-title":"Multithreaded programming with Pthreads","author":"B. Lewis","year":"1998","unstructured":"Lewis, B., Berg, D.J.: Multithreaded programming with Pthreads. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"23_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/3-540-49519-3_32","volume-title":"Formal Methods in Computer-Aided Design","author":"K. Milvang-Jensen","year":"1998","unstructured":"Milvang-Jensen, K., Hu, A.J.: BDDNOW: A parallel BDD package. In: Gopalakrishnan, G.C., Windley, P. (eds.) FMCAD 1998. LNCS, vol.\u00a01522, pp. 501\u2013507. Springer, Heidelberg (1998)"},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/240518.240639","volume-title":"DAC","author":"T. Stornetta","year":"1996","unstructured":"Stornetta, T., Brewer, F.: Implementation of an efficient parallel BDD package. In: DAC, pp. 641\u2013644. ACM Press, New York (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T09:03:13Z","timestamp":1550394193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}