{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:04Z","timestamp":1725549844369},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540272311"},{"type":"electronic","value":"9783540316862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11513988_16","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T13:33:28Z","timestamp":1268400808000},"page":"153-157","source":"Crossref","is-referenced-by-count":7,"title":["Wolf \u2013 Bug Hunter for Concurrent Software Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Sharon","family":"Barner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziv","family":"Glazberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ishai","family":"Rabinovitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A model checker for concurrent software. In: CAV, pp. 484\u2013487 (2004)","DOI":"10.1007\/978-3-540-27813-9_42"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: Bebop: A symbolic model checker for boolean programs. In: Proc. 7th International SPIN Workshop (2000)","DOI":"10.1007\/10722468_7"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Barner, S., Rabinovitz, I.: Effcient symbolic model checking of software using partial disjunctive partitioning. In: CHARME, pp. 35\u201350 (2003)","DOI":"10.1007\/978-3-540-39724-3_6"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Eisner, C., Landver, A.: RuleBase: An industry-oriented formal verification tool. In: Design Automation Conference, pp. 655\u2013660 (1996)","DOI":"10.1145\/240518.240642"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Bloem, R., Ravi, K., Somenzi, F.: Symbolic guided search for CTL model checking. In: Design Automation Conference, June 2000, pp. 29\u201334 (2000)","DOI":"10.1145\/337292.337306"},{"key":"16_CR6","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E.M. Clarke","year":"2004","unstructured":"Clarke, E.M., Kroening, D., Lerda, F.: A tool for checking ansi-c programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 168\u2013176. Springer, Heidelberg (2004)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: IPDPS, p. 286 (2003)","DOI":"10.1109\/IPDPS.2003.1213511"},{"issue":"4","key":"16_CR9","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking JAVA programs using JAVA pathfinder. STTT\u00a02(4), 366\u2013381 (2000)","journal-title":"STTT"},{"key":"16_CR10","unstructured":"Holzmann, G.: On the fly, LTL model checking with SPIN: Simple Spin manual, At http:\/\/cm.bell-labs.com\/cm\/cs\/what\/spin\/Man\/Manual.html"},{"key":"16_CR11","unstructured":"Ivancic, F., Yang, Z., Gupta, A., Ganai, M.K., Ashar, P.: Efficient SAT-based bounded model checking for software verification, ISoLA (2004)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Rabinovitz, I., Grumberg, O.: Bounded model checking of concurrent programs. In: CAV (2005)","DOI":"10.1007\/11513988_9"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11513988_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:00Z","timestamp":1605643500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11513988_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540272311","9783540316862"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11513988_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}