{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:07:24Z","timestamp":1729631244774,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/ipdps.2006.1639582","type":"proceedings-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T19:59:56Z","timestamp":1152561596000},"page":"7 pp.","source":"Crossref","is-referenced-by-count":0,"title":["Unification of verification and validation methods for software systems: progress report and initial case study formulation"],"prefix":"10.1109","author":[{"given":"J.C.","family":"Browne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Kane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yoonsik Cheon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Teller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"150","article-title":"Symbolic Pointer Analysis","author":"zhu","year":"2002","journal-title":"Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1145\/1030083.1030093","article-title":"Comparing the expressive power of access control models","author":"tripunitara","year":"2004","journal-title":"Proceedings of the ACM Conference on Computer and Communications Security"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231892"},{"journal-title":"What is a capability anyway","year":"0","author":"shapiro","key":"12"},{"key":"3","first-page":"103","article-title":"Points-to Analysis using BDDs","author":"berndl","year":"2003","journal-title":"Proceedings of the ACM Conference on Programming Language Design and Implementation"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"year":"0","key":"1"},{"year":"1983","author":"mchugh","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24634-3_17"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017721.39909.4b"},{"key":"5","first-page":"955","volume":"b","author":"emerson","year":"1990","journal-title":"Temporal and modal logic"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"9","article-title":"Combining Theorem Proving with Static Analysis for Data Structure Consistency","author":"kuncak","year":"2004","journal-title":"Proceedings of SVV'04"},{"year":"0","key":"8"}],"event":{"name":"Proceedings 20th IEEE International Parallel & Distributed Processing Symposium","start":{"date-parts":[[2006,4,25]]},"location":"Rhodes Island, Greece","end":{"date-parts":[[2006,4,29]]}},"container-title":["Proceedings 20th IEEE International Parallel & Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10917\/34366\/01639582.pdf?arnumber=1639582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,29]],"date-time":"2021-07-29T13:04:27Z","timestamp":1627563867000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1639582\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2006.1639582","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}