{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:42:50Z","timestamp":1743046970957,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642017018"},{"type":"electronic","value":"9783642017025"}],"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-01702-5_19","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T10:01:45Z","timestamp":1240048905000},"page":"194-199","source":"Crossref","is-referenced-by-count":2,"title":["d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework"],"prefix":"10.1007","author":[{"given":"Malay K.","family":"Ganai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weihong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4-5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10009-005-0203-z","volume":"8","author":"M.K. Ganai","year":"2006","unstructured":"Ganai, M.K., Gupta, A., Yang, Z., Ashar, P.: Efficient distributed SAT and SAT-based distributed bounded model checking. Journal on STTT\u00a08(4-5), 387\u2013396 (2006)","journal-title":"Journal on STTT"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-70952-7_21","volume-title":"Formal Methods: Applications and Technology","author":"E. Abraham","year":"2007","unstructured":"Abraham, E., Schubert, T., Becker, B., Franle, M., Herde, C.: Parallel sat solving in bounded model checking. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, pp. 301\u2013315. Springer, Heidelberg (2007)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Barros, H., Campos, S., Song, M., Zarate, L.: Exploring clause symmetry in a distributed bounded model checking algorithm. In: ECBS (2007)","DOI":"10.1109\/ECBS.2007.40"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10817-005-1970-7","volume":"34","author":"B. Jurkowiak","year":"2005","unstructured":"Jurkowiak, B., Li, C.M., Utard, G.: A parallelization scheme based on work stealing for a class of SAT solvers. Journal of Automatic Reasoning\u00a034(1), 73\u2013101 (2005)","journal-title":"Journal of Automatic Reasoning"},{"issue":"7","key":"19_CR5","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1016\/S0167-8191(03)00068-1","volume":"29","author":"W. Blochinger","year":"2003","unstructured":"Blochinger, W., Sinz, C., Kuchlin, W.: Parallel propositional satifiability checking with distributed dynamic learning. Parallel Computing\u00a029(7), 969\u2013994 (2003)","journal-title":"Parallel Computing"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Ganai, M.K., Gupta, A.: Tunneling and Slicing: Towards Scalable BMC. In: Proc. of DAC (2008)","DOI":"10.1145\/1391469.1391507"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/11513988_31","volume-title":"Computer Aided Verification","author":"F. Ivan\u010di\u0107","year":"2005","unstructured":"Ivan\u010di\u0107, F., Yang, Z., Ganai, M.K., Gupta, A., Shlyakhter, I., Ashar, P.: F-Soft: Software verification platform. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 301\u2013306. Springer, Heidelberg (2005)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Ganai, M.K., Gupta, A.: Accelerating high-level bounded model checking. In: Proc. of ICCAD (2006)","DOI":"10.1109\/ICCAD.2006.320122"},{"key":"19_CR9","unstructured":"Burns, G., Daoud, R., Vaigl, J.: LAM: An Open Cluster Environment for MPI. In: Proceedings of Supercomputing Symposium, pp. 379\u2013386 (1994)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Ganai, M.K., Gupta, A.: Completeness in SMT-based BMC for software programs. In: Proc. of DATE (2008)","DOI":"10.1109\/DATE.2008.4484777"},{"key":"19_CR11","unstructured":"SRI. Yices: An SMT solver, \n                    \n                      http:\/\/fm.csl.sri.com\/yices"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01702-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:03:36Z","timestamp":1558267416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01702-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642017018","9783642017025"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01702-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}