{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:32Z","timestamp":1725504572537},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781622"},{"type":"electronic","value":"9783540781639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78163-9_14","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T10:30:06Z","timestamp":1204281006000},"page":"127-141","source":"Crossref","is-referenced-by-count":8,"title":["On Bridging Simulation and Formal Verification"],"prefix":"10.1007","author":[{"given":"Eugene","family":"Goldberg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1109\/9780470544389","volume-title":"Digital Systems Testing and Testable Design","author":"M. Abramovici","year":"1994","unstructured":"Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design, p. 672. Wiley-IEEE Press, Chichester (1994)"},{"key":"14_CR2","unstructured":"Goldberg, E.: On bridging simulation and formal verification. Technical Report CDNL-TR-2006-1225 (December 2006), \n                  \n                     http:\/\/eigold.tripod.com\/papers\/ssim.pdf"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11814948_11","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"E. Goldberg","year":"2006","unstructured":"Goldberg, E.: Determinization of Resolution by an Algorithm Operating on Complete Assignments. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol.\u00a04121, pp. 90\u201395. Springer, Heidelberg (2006)"},{"key":"14_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-45620-1_15","volume-title":"Automated Deduction - CADE-18","author":"E. Goldberg","year":"2002","unstructured":"Goldberg, E.: Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 161\u2013180. Springer, Heidelberg (2002)"},{"key":"14_CR5","unstructured":"Selman, B., Levesque, H., Mitchell, D.: A New Method for Solving Hard Satisfiability Problems. In: AAAI 1992, pp. 440\u2013446 (1992)"},{"key":"14_CR6","unstructured":"Selman, B., Kautz, H.A., Cohen, B.: Noise strategies for improving local search. In: AAAI- 1994, Seattle, pp. 337\u2013343 (1994)"},{"key":"14_CR7","unstructured":"Sentovich, E., et al.: SIS: A system for sequential circuit synthesis. Technical report, University of California at Berkeley, Memorandum No. UCB\/ERL M92\/41 (1992)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"McCluskey, E., Tseng, C.: Stuck-fault tests vs. actual defects. In: Proc. of Int. Test Conf., pp. 336\u2013343 (2000)","DOI":"10.1109\/TEST.2000.894222"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/B978-044450813-3\/50004-7","volume-title":"The Handbook of Automated Reasoning, ch. 2","author":"L. Bachmair","year":"2001","unstructured":"Bachmair, L., et al.: The Handbook of Automated Reasoning, ch. 2, vol.\u00a01, pp. 19\u201399. Elsevier, Amsterdam (2001)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78163-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:00:32Z","timestamp":1619521232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78163-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781622","9783540781639"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78163-9_14","relation":{},"subject":[]}}