{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:15:50Z","timestamp":1759331750776,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/fmcad.2009.5351127","type":"proceedings-article","created":{"date-parts":[[2009,12,11]],"date-time":"2009-12-11T18:55:16Z","timestamp":1260557716000},"page":"152-159","source":"Crossref","is-referenced-by-count":42,"title":["Debugging formal specifications using simple counterstrategies"],"prefix":"10.1109","author":[{"given":"Robert","family":"Konighofer","sequence":"first","affiliation":[]},{"given":"Georg","family":"Hofferek","sequence":"additional","affiliation":[]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"364","article-title":"Synthesis of reactive(1) designs","volume":"3855","author":"piterman","year":"2006","journal-title":"LNCS"},{"key":"17","article-title":"Several Realizability Concepts in Reactive Objects","author":"mori","year":"1993","journal-title":"Information Modeling and Knowledge Bases"},{"key":"18","first-page":"821","article-title":"Formal analysis of hardware requirements","author":"pill","year":"2006","journal-title":"Design Automation Conference"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48242-3_6"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_24"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2005.66"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_29"},{"key":"12","first-page":"280","article-title":"Have I written enough properties? - A method of comparison between specification and implementation","author":"katz","year":"1999","journal-title":"LNCS 1703"},{"journal-title":"Modular Synthesis of Reactive Systems","year":"1992","author":"rosner","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"22","article-title":"Practical model-checking using games","volume":"1384","author":"stevens","year":"1998","journal-title":"LNCS"},{"key":"23","first-page":"1","article-title":"Local model checking games","author":"stirling","year":"1995","journal-title":"Proc of Concurrency Theory"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_44"},{"key":"25","first-page":"233","article-title":"On-the-fly controller synthesis for discrete and dense-time systems","author":"tripakis","year":"1999","journal-title":"World Congress on Formal Methods"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"3","article-title":"Specify, compile, run: Hardware form PSL","author":"bloem","year":"2007","journal-title":"Proc Int l Workshop Compiler Optimization Meets Compiler Verification"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364456"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.22"},{"key":"1","first-page":"121","author":"behrmann","year":"2007","journal-title":"UPPAAL-Tiga Time for playing games! In Proc Computer Aided Verification (CAV'07)"},{"key":"7","article-title":"Automatic bus-protocol verification using assertions","author":"dellacherie","year":"2004","journal-title":"GSPx"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207698"},{"key":"9","first-page":"1176","article-title":"Estimating functional coverage in bounded model checking","author":"gros?e","year":"2007","journal-title":"DATE"},{"key":"8","article-title":"A framework for inverent vacuity","author":"fisman","year":"2008","journal-title":"Proc Haifa Verification Conference (HVC)"}],"event":{"name":"2009 9<sup>th<\/sup> International Conference Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2009,11,15]]},"location":"Austin, TX","end":{"date-parts":[[2009,11,18]]}},"container-title":["2009 Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5344684\/5351113\/05351127.pdf?arnumber=5351127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T02:09:22Z","timestamp":1489889362000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5351127\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2009.5351127","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}