{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:08:17Z","timestamp":1730282897684,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/mise.2012.6226012","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:25:47Z","timestamp":1341854747000},"page":"36-42","source":"Crossref","is-referenced-by-count":0,"title":["Avestan: A declarative modeling language based on SMT-LIB"],"prefix":"10.1109","author":[{"given":"Amirhossein","family":"Vakili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy A.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"22","article-title":"Optimizations for Compiling Declarative Models into Boolean Formulas","volume":"3569","author":"marinov","year":"2005","journal-title":"LNCS"},{"journal-title":"A Formal Representation of Abstract State Machines Using PVS","year":"1998","author":"dold","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2007.16"},{"key":"18","first-page":"331","article-title":"Model Checking Support for the ASM High-Level Language","volume":"1785","author":"del castillo","year":"2000","journal-title":"LNCS"},{"journal-title":"SWI-Prolog 5 3 Reference Manual","year":"2004","author":"wielemaker","key":"24"},{"key":"15","first-page":"264","article-title":"The ASM Method for System Design and Analysis. A Tutorial Introduction","volume":"3717","author":"bo?rger","year":"2005","journal-title":"LNCS"},{"key":"16","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":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.01.006"},{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","year":"1993","author":"gordon","key":"14"},{"key":"11","article-title":"Analyzing Alloy Constraints using an SMT Solver: A Case Study","author":"ghazi","year":"0","journal-title":"Automated Formal Methods (AFM) Workshop 2010"},{"key":"12","first-page":"1","author":"dutertre","year":"2006","journal-title":"The Yices SMT Solver"},{"key":"21","article-title":"Peled","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_34"},{"key":"20","first-page":"855","article-title":"ProB: A Model Checker for B","volume":"2805","author":"leuschel","year":"2003","journal-title":"LNCS"},{"key":"2","first-page":"337","article-title":"Z3: An Efficient SMT Solver","volume":"4963","author":"de moura","year":"2008","journal-title":"LNCS"},{"journal-title":"The SMT-LIB Standard Version 2 0 Reference Manual","year":"2010","author":"barrett","key":"1"},{"journal-title":"ProofPower [Online]","year":"0","key":"10"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"7"},{"key":"6","first-page":"3","author":"manzano","year":"1993","journal-title":"Introduction to Many-sorted Logic"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58450-1_49"},{"journal-title":"Information Technology Z Formal Specification Notation Syntax Type System and Semantics","year":"2000","key":"8"}],"event":{"name":"2012 Models in Software Engineering (MiSE)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 4th International Workshop on Modeling in Software Engineering (MISE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220314\/6226004\/06226012.pdf?arnumber=6226012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T15:30:07Z","timestamp":1490110207000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6226012\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/mise.2012.6226012","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}