{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:02:13Z","timestamp":1729670533746,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100090","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"428-431","source":"Crossref","is-referenced-by-count":2,"title":["Using model checking to analyze static properties of declarative models"],"prefix":"10.1109","author":[{"given":"Amirhossein","family":"Vakili","sequence":"first","affiliation":[]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"278","article-title":"Interfacing ASM with the MDG tool","author":"gawanmeh","year":"2003","journal-title":"Proceedings of the Abstract State Machines 10th International Conference on Advances in Theory and Practice"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134329"},{"key":"15","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-44518-8_17","article-title":"Encoding Abstract State Machines in PVS","author":"gargantini","year":"2000","journal-title":"Proceedings of the International Workshop on Abstract State Machines Theory and Applications"},{"key":"16","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-46419-0_23","article-title":"Model checking support for the ASM high-level language","volume":"1785","author":"del castillo","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"13","first-page":"377","article-title":"Reasoning about Abstract State Machines: The WAM case study","volume":"3","author":"schellhorn","year":"1997","journal-title":"Journal of Universal Computer Science"},{"key":"14","article-title":"A formal representation of Abstract State Machines using PVS","author":"dold","year":"1998","journal-title":"Verifix Technical Report Ulm\/6 2"},{"key":"11","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","article-title":"ProB: A model checker for B","volume":"2805","author":"leuschel","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/11559306_15","article-title":"The ASM method for system design and analysis. A tutorial introduction","volume":"3717","author":"bo?rger","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Using Model Checking to Analyze Static Properties of Declarative Models Extended Version","year":"2011","author":"vakili","key":"3"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"Information Technology Z Formal Specification Notation Syntax Type System and Semantics","year":"2000","key":"7"},{"journal-title":"The SMV System","year":"1992","author":"mcmillan","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"4"},{"key":"9","article-title":"Optimizations for compiling declarative models into boolean formulas","volume":"3569","author":"marinov","year":"2005","journal-title":"LNCS"},{"journal-title":"ProofPower","year":"0","key":"8"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100090.pdf?arnumber=6100090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:28:18Z","timestamp":1497958098000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100090\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100090","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}