{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:06:45Z","timestamp":1766066805190,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/gcce.2017.8229475","type":"proceedings-article","created":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T01:50:57Z","timestamp":1513907457000},"page":"1-4","source":"Crossref","is-referenced-by-count":6,"title":["Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science"],"prefix":"10.1109","author":[{"given":"Satoshi","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"3","article-title":"Program Verification as Satisfiability Modulo Theories","author":"bjorner","year":"2012","journal-title":"10th International Workshop on Satisfiability Modulo Theories(SMT 2012)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01700692"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2014.7031136"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2016EDP7452"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.22"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1721695.1721702"},{"key":"ref19","first-page":"796","article-title":"Temporal Verification of Real-Time Systems","author":"vale aguiar campos","year":"1995","journal-title":"IEICE Transactions 78-D"},{"journal-title":"Mathematical theory of computation","year":"1974","author":"manna","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232422"},{"journal-title":"Deep Learning","year":"2016","author":"goodfellow","key":"ref3"},{"key":"ref6","first-page":"116","article-title":"On computable numbers, with an application to the Entscheidungsproblem","author":"turing","year":"1937","journal-title":"Proceedings of the London Mathematical Society"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1145\/1592434.1592438","article-title":"Software model checking","author":"jhala","year":"2009","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","article-title":"Soundness and completeness of an axiom system for program verification","author":"cook","year":"1978","journal-title":"SIAM Journal on Computing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Pattern Recognition and Machine Learning","year":"2006","author":"bishop","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90041-Y"},{"journal-title":"Data Science on the Google Cloud Platform Implementing Ent-to-end Real-time Data Pipelines from Ingest to Machine Learning","year":"0","author":"lakshmanan","key":"ref1"},{"key":"ref20","first-page":"136","article-title":"Quantitative Temporal Reasoning","volume":"531","author":"allen","year":"1990","journal-title":"LNCS"},{"journal-title":"Temporal Verification of Reactive Systems Safety","year":"1994","author":"manna","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1060"},{"journal-title":"Philipp Rummer","year":"0","key":"ref24"},{"key":"ref23","first-page":"337","article-title":"Z3:An Efficient SMT Solver","volume":"4963","author":"mendonca de moura","year":"2008","journal-title":"LNCS"},{"key":"ref26","first-page":"279","article-title":"Temporal Verification of Reactive Systems: Response. Essays in Memory of Amir Pnueli","volume":"6200","author":"manna","year":"2010","journal-title":"LNCS"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926424"}],"event":{"name":"2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)","start":{"date-parts":[[2017,10,24]]},"location":"Nagoya","end":{"date-parts":[[2017,10,27]]}},"container-title":["2017 IEEE 6th Global Conference on Consumer Electronics (GCCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8187602\/8229179\/08229475.pdf?arnumber=8229475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T23:34:34Z","timestamp":1643153674000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8229475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/gcce.2017.8229475","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}