{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:29:51Z","timestamp":1729614591484,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/ddecs.2009.5012109","type":"proceedings-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T16:44:32Z","timestamp":1243961072000},"page":"114-119","source":"Crossref","is-referenced-by-count":3,"title":["Using 3-valued memory representation for state space reduction in embedded assembly code model checking"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Reinbacher","sequence":"first","affiliation":[]},{"given":"Martin","family":"Horauer","sequence":"additional","affiliation":[]},{"given":"Bastian","family":"Schlich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_2"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"18","first-page":"263","article-title":"cute: a concolic unit testing engine for c","volume":"2005","author":"sen","year":"0","journal-title":"Proc 10th European Software Engineering Conference\/13th ACM SIGSOFT Int Symp on Foundations of Software Engineering (ESEC\/FSE-13 2005)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/103516.103519"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.850814"},{"key":"13","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","article-title":"model checking partial state spaces with 3-valued temporal logics","volume":"1633","author":"bruns","year":"1999","journal-title":"Proc 11th Int'l Conf Computer Aided Verification (CAV'99)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360206"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77966-7_16"},{"journal-title":"MCS 51 Microcontroller Family User's Manual","year":"1994","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79707-4_4"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.15"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/514188.514190"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.62"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2007.4488660"},{"journal-title":"Model checking of software for microcontrollers","year":"2008","author":"schlich","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-69850-0_1","article-title":"the birth of model checking","volume":"5000","author":"clarke","year":"2008","journal-title":"25 Years of Model Checking History Achievements Perspectives"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2008.4577709"},{"key":"5","volume":"43","author":"hatton","year":"1997","journal-title":"Software failures-follies and fallacies"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MESA.2008.4735653"},{"journal-title":"A brief introduction to ternary logic","year":"2003","author":"arpasi","key":"9"},{"journal-title":"Introduction to Metamathematics 11st Ed","year":"1996","author":"kleene","key":"8"}],"event":{"name":"2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","start":{"date-parts":[[2009,4,15]]},"location":"Liberec, Czech Republic","end":{"date-parts":[[2009,4,17]]}},"container-title":["2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4957849\/5012077\/05012109.pdf?arnumber=5012109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T16:34:24Z","timestamp":1497803664000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5012109\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2009.5012109","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}