{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:49:28Z","timestamp":1649184568761},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,7,12]],"date-time":"2011-07-12T00:00:00Z","timestamp":1310428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s10703-011-0125-1","type":"journal-article","created":{"date-parts":[[2011,7,11]],"date-time":"2011-07-11T13:47:35Z","timestamp":1310392055000},"page":"117-120","source":"Crossref","is-referenced-by-count":0,"title":["2010 CAV award announcement"],"prefix":"10.1007","volume":"40","author":[{"given":"Orna","family":"Grumberg","sequence":"first","affiliation":[]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,7,12]]},"reference":[{"key":"125_CR1","series-title":"Lecture notes in computer science","first-page":"164","volume-title":"Fourth international workshop on Computer Aided Verification (CAV\u201992)","author":"KL McMillan","year":"1992","unstructured":"McMillan KL (1992) Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Fourth international workshop on Computer Aided Verification (CAV\u201992), Montreal, Canada. Lecture notes in computer science, vol 663, pp 164\u2013174"},{"key":"125_CR2","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-63166-6_6","volume-title":"9th international conference on Computer Aided Verification (CAV\u201997)","author":"KL McMillan","year":"1997","unstructured":"McMillan KL (1997) A compositional rule for hardware design refinement. In: 9th international conference on Computer Aided Verification (CAV\u201997). Lecture notes in computer science, vol 1254, pp 24\u201335"},{"key":"125_CR3","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/BFb0028738","volume-title":"10th international conference on Computer Aided Verification (CAV\u201998)","author":"KL McMillan","year":"1998","unstructured":"McMillan KL (1998) Verification of an implementation of Tomasulo\u2019s algorithm by compositional model checking. In: 10th international conference on Computer Aided Verification (CAV\u201998). Lecture notes in computer science, vol 1427, pp 110\u2013121"},{"key":"125_CR4","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/3-540-48153-2_30","volume-title":"10th IFIP WG 10.5 advanced research working conference on correct hardware design and verification methods (CHARME\u201999)","author":"KL McMillan","year":"1999","unstructured":"McMillan KL (1999) Circular compositional reasoning about liveness. In: 10th IFIP WG 10.5 advanced research working conference on correct hardware design and verification methods (CHARME\u201999), Bad Herrenalb, Germany. Lecture notes in computer science, vol 1703, pp 342\u2013345"},{"key":"125_CR5","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-45657-0_19","volume-title":"14th international conference on Computer Aided Verification (CAV\u201902)","author":"KL McMillan","year":"2002","unstructured":"McMillan KL (2002) Applying sat methods in unbounded symbolic model checking. In: 14th international conference on Computer Aided Verification (CAV\u201902), Copenhagen, Denmark. Lecture notes in computer science, vol 2404, pp 250\u2013264"},{"key":"125_CR6","series-title":"Lecture notes in computer science","volume-title":"15th international conference on Computer Aided Verification (CAV\u201903)","author":"KL McMillan","year":"2003","unstructured":"McMillan KL (2003) Interpolation and SAT-based model checking. In: 15th international conference on Computer Aided Verification (CAV\u201903), Bolder, Colorado. Lecture notes in computer science, vol 2725"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0125-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-011-0125-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0125-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:05:52Z","timestamp":1559253952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-011-0125-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,12]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["125"],"URL":"https:\/\/doi.org\/10.1007\/s10703-011-0125-1","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,12]]}}}