{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:06:35Z","timestamp":1730232395883,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iccad.2013.6691187","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:22:41Z","timestamp":1394230961000},"page":"670-676","source":"Crossref","is-referenced-by-count":1,"title":["Hardware implementation of BLTL property checkers for acceleration of statistical model checking"],"prefix":"10.1109","author":[{"given":"Kosuke","family":"Oshima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeshi","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"243","article-title":"Bayesian statistical model checking with application to Stateflow\/Simulink verification","author":"zuliani","year":"2010","journal-title":"Proc of the 13th ACM International Conference on Hybrid Systems Computation and Control"},{"key":"2","first-page":"218","article-title":"A bayesian approach to model checking biological systems","author":"jha","year":"2009","journal-title":"Proc of Computational Methods in Systems Biology 7th International Conference Volume 5688 of Lecture Notes in Computer Science"},{"key":"10","first-page":"3","article-title":"Simple on-the-fly automatic verification of linear temporal logic","author":"gerth","year":"1995","journal-title":"Protocol Specification Testing and Verification"},{"key":"1","first-page":"81","article-title":"Probabilistic verification of discrete event systems using acceptance sampling","author":"younes","year":"2002","journal-title":"Proc of Computer Aided Verification 14th International Conference Volume 2404 of Lecture Notes in Computer Science"},{"journal-title":"Numerical Experiments for the Tsunamis Generated off the Coast of the Nankaido District","year":"0","author":"aida","key":"7"},{"journal-title":"Tsunami Mod-elling Manual","year":"0","author":"imamura","key":"6"},{"journal-title":"MaxCompiler White Paper","year":"0","key":"5"},{"key":"4","first-page":"119","article-title":"The tableau method for temporal logic: An overview","volume":"110 111","author":"wolper","year":"1985","journal-title":"Logique et Analyse 28e Annee"},{"key":"9","first-page":"249","article-title":"Vardi. Improved automata generation for linear temporal logic","author":"daniele","year":"1999","journal-title":"Computer Aided Verification Volume 1633 of Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/225871.225880"},{"key":"11","first-page":"248","article-title":"Efficient bu?chi automata from ltl formulae","author":"somenzi","year":"2000","journal-title":"Computer Aided Verification Volume 1855 of Lecture Notes in Computer Science"}],"event":{"name":"2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2013,11,18]]},"location":"San Jose, CA","end":{"date-parts":[[2013,11,21]]}},"container-title":["2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679730\/6691081\/06691187.pdf?arnumber=6691187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T01:00:55Z","timestamp":1490230855000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6691187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iccad.2013.6691187","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}