{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:25:54Z","timestamp":1725488754621},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421245"},{"type":"electronic","value":"9783540451396"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45139-0_18","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T14:39:56Z","timestamp":1186756796000},"page":"288-295","source":"Crossref","is-referenced-by-count":0,"title":["A model checking project at philips research"],"prefix":"10.1007","author":[{"given":"Leszek","family":"Holenderski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,2]]},"reference":[{"key":"18_CR1","unstructured":"J.-Y. Brunel et al, COSY: a Methodology for System Design Based on Reusable Hardware & Software IP\u2019s, EMMSEC\u201998, 709\u2013716, Bordeaux France, Sept.1998."},{"key":"18_CR2","unstructured":"C\u00e4te de Resyste, http:\/\/fmt.cs.utwente.nl\/projects\/CdR-html"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"J. Corbett et al, Bandera: Extracting Finite-state Models from Java Source Code, The 22nd Int. Conference on Software Engineering, Limerich, Ireland, June 2000, ACM Press.","DOI":"10.1145\/337180.337234"},{"issue":"7","key":"18_CR4","first-page":"577","volume":"29","author":"C. Demartini","year":"1999","unstructured":"C. Demartini, R. Iosif and R. Sisto, A deadlock detection tool for concurrent Java programs, Software Practice and Experience, 29(7):577\u2013603, July 1999.","journal-title":"A deadlock detection tool for concurrent Java programs, Software Practice and Experience"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid, Model Checking for Programming Languages using VeriSoft, POPL\u20191997 (The 24th ACM Symposium on Principles of Programming Languages), 174\u2013186, Paris, Jan. 1997.","DOI":"10.1145\/263699.263717"},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN\u20192000 (The 7th SPIN Workshop)","author":"K. Havelund","year":"2000","unstructured":"K. Havelund, Using Runtime Analysis to Guide Model Checking of Java Programs, SPIN\u20192000 (The 7th SPIN Workshop), Stanford University, USA, LNCS 1885, Springer Verlag, 245\u2013264, Sept. 2000."},{"issue":"4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"K. Havelund and T. Pressburger, Model Checking Java Programs Using Java PathFinder, STTT (Int. Journal on Software Tools for Technology Transfer), 2(4):366\u2013381, April 2000.","journal-title":"STTT (Int. Journal on Software Tools for Technology Transfer)"},{"issue":"5","key":"18_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"G. Holzmann, The Model Checker Spin, IEEE Trans. on Software Engineering, 23(5):279\u2013295, May 1997.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"18_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/10722468_8","volume-title":"SPIN\u20192000 (The 7th SPINWorkshop)","author":"G. Holzmann","year":"2000","unstructured":"G. Holzmann, Logic Verification of ANSI-C code with SPIN, SPIN\u20192000 (The 7th SPINWorkshop), Stanford University, USA, LNCS 1885, Springer Verlag, 131\u2013147, Sept. 2000."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"E.A. de Kock et al, YAPI: Application Modelling for Signal Processing Systems, DAC\u20192000 (The 37th Design Automation Conference), Los Angeles, 2000.","DOI":"10.1109\/DAC.2000.855344"},{"key":"18_CR11","unstructured":"W. Visser et al, Java PathFinder-Second Generation of a Java Model Checker, Post-CAV Workshop on Advances in Verification, Chicago, July 2000."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"R. de Vries et al, C\u00f4te de Resyste in PROGRESS, PROGRESS\u20192000 Workshop on Embedded Systems, Utrecht, The Netherlands, 141\u2013148, Oct. 2000. http:\/\/fmt.cs.utwente.nl\/publications\/cdr.pap.html","DOI":"10.1023\/A:1004125931291"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45139-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:05:08Z","timestamp":1684004708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45139-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421245","9783540451396"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45139-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}