{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:50:11Z","timestamp":1725580211922},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642203978"},{"type":"electronic","value":"9783642203985"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20398-5_36","type":"book-chapter","created":{"date-parts":[[2011,4,6]],"date-time":"2011-04-06T15:29:49Z","timestamp":1302103789000},"page":"480-486","source":"Crossref","is-referenced-by-count":10,"title":["jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2"],"prefix":"10.1007","author":[{"given":"David R.","family":"Cok","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Barrett, C., Conway, C.: Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers. Technical report, Department of Computer Science, New York University (2010)"},{"issue":"4","key":"36_CR2","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1142\/S0218213008004060","volume":"17","author":"C. Barrett","year":"2008","unstructured":"Barrett, C., Deters, M., Oliveras, A., Stump, A.: Design and results of the 3rd annual satisfiability modulo theories competition (SMT-COMP 2007). International Journal on Artificial Intelligence Tools (IJAIT)\u00a017(4), 569\u2013606 (2008)","journal-title":"International Journal on Artificial Intelligence Tools (IJAIT)"},{"key":"36_CR3","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, Edinburgh, England (2010)"},{"key":"36_CR4","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. Technical report, Department of Computer Science, The University of Iowa (2010)"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-73368-3_34","volume-title":"Computer Aided Verification","author":"C.W. Barrett","year":"2007","unstructured":"Barrett, C.W., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 298\u2013302. Springer, Heidelberg (2007)"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/s10009-010-0138-x","volume":"12","author":"D. Cok","year":"2010","unstructured":"Cok, D.: Improved usability and performance of SMT solvers for debugging specifications. International Journal on Software Tools for Technology Transfer (STTT)\u00a012, 467\u2013481 (2010); 10.1007\/s10009-010-0138-x","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"36_CR8","unstructured":"Deters, M.: \n                    \n                      http:\/\/www.smtcomp.org\/2010"},{"issue":"3","key":"36_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1066100.1066102","volume":"52","author":"D. Detlefs","year":"2005","unstructured":"Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: a theorem prover for program checking. Journal of the ACM\u00a052(3), 365\u2013473 (2005)","journal-title":"Journal of the ACM"},{"key":"36_CR10","unstructured":"Dutertre, B., De Moura, L.: The yices SMT solver. Technical report (2006)"},{"key":"36_CR11","unstructured":"Griggio, A.: \n                    \n                      https:\/\/es.fbk.eu\/people\/griggio\/misc\/smtlib2parser.html"},{"key":"36_CR12","unstructured":"Hawkins, T.: \n                    \n                      http:\/\/hackage.haskell.org\/package\/smt-lib"},{"key":"36_CR13","unstructured":"Ranise, S., Tinelli, C.: The SMT-LIB Format: An Initial Proposal. In: Proceedings of the 1st Workshop on Pragmatics of Decision Procedures in Automated Reasoning, Miami Beach, USA (2003)"},{"key":"36_CR14","unstructured":"Tinelli, C.: \n                    \n                      http:\/\/www.smt-lib.org"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20398-5_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T14:18:02Z","timestamp":1558534682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20398-5_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642203978","9783642203985"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20398-5_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}