{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T09:21:19Z","timestamp":1759483279787,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2005.1470160","type":"proceedings-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T10:45:32Z","timestamp":1123670732000},"page":"1395-1400","source":"Crossref","is-referenced-by-count":10,"title":["Convex optimization proves software correctness"],"prefix":"10.1109","author":[{"given":"M.","family":"Roozbehani","sequence":"first","affiliation":[]},{"given":"A.","family":"Megretski","sequence":"additional","affiliation":[]},{"given":"E.","family":"Feron","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/978-3-540-45069-6_39","article-title":"Linear invariant generation using non-linear constraint solving","volume":"2725","author":"colon","year":"0","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Introduction to Linear Optimization","year":"1997","author":"bertsimas","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2003.12.011"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"journal-title":"Abstract Interpretation and Partition Refinement for Model Checking","year":"1996","author":"dams","key":"7"},{"key":"6","first-page":"303","article-title":"Semantic foundations of program analysis","author":"cousot","year":"1981","journal-title":"Program Flow Analysis Theory and Applications"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1090\/dimacs\/060\/08","article-title":"Minimizing polynomial functions","volume":"60","author":"parrilo","year":"0","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_13"}],"event":{"name":"Proceedings of the 2005, American Control Conference, 2005.","location":"Portland, OR, USA"},"container-title":["Proceedings of the 2005, American Control Conference, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9861\/31519\/01470160.pdf?arnumber=1470160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T11:14:10Z","timestamp":1552475650000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1470160\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/acc.2005.1470160","relation":{},"subject":[]}}