{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:58:09Z","timestamp":1725541089077},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/ipdps.2007.370521","type":"proceedings-article","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T10:41:07Z","timestamp":1182336067000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Static Verification of Design Constraints and Software Correctness Properties in the Hob System"],"prefix":"10.1109","author":[{"given":"Patrick","family":"Lam","sequence":"first","affiliation":[]},{"given":"Martin","family":"Rinard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_11"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493433"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"18"},{"journal-title":"VDM information Examples repository","year":"2000","author":"larsen","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222136"},{"key":"13","article-title":"Set interfaces for generalized typestate and data structure consistency verification","author":"lam","year":"0","journal-title":"Theoretical Computer Science"},{"key":"14","article-title":"A type system and analysis for the automatic extraction and enforcement of design information","author":"lam","year":"2003","journal-title":"Proc 17th ECOOP"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1145\/1052898.1052913","article-title":"Cross-cutting techniques in program specification and analysis","author":"lam","year":"2005","journal-title":"Proc of the 4th International Conference on Aspect-Oriented Software Development (AOSD)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_28"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41652"},{"key":"20","article-title":"Combining theorem proving with static analysis for data structure consistency","author":"zee","year":"2004","journal-title":"International Workshop on Software Verification and Validation (SVV 2004)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80810-7"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"The Hob System for Verifying Software Design Properties","year":"2006","author":"lam","key":"10"},{"article-title":"Extended static checking","year":"1998","author":"detlefs","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/125083.123049"},{"year":"0","key":"5"},{"key":"4","article-title":"ESC\/Java2: Uniting ESC\/Java and JML: Progress and issues in building and using ESC\/Java2 and a report on a case study involving the use of ESC\/Java2 to verify portions of an Internet voting tally system","author":"cok","year":"2004","journal-title":"Construction and Analysis of Safe Secure and Interoperable Smart Devices"},{"year":"0","key":"9"},{"journal-title":"Systematic Software Development Using VDM","year":"1986","author":"jones","key":"8"}],"event":{"name":"2007 IEEE International Parallel and Distributed Processing Symposium","start":{"date-parts":[[2007,3,26]]},"location":"Long Beach, CA, USA","end":{"date-parts":[[2007,3,30]]}},"container-title":["2007 IEEE International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4203121\/4227918\/04228249.pdf?arnumber=4228249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T01:55:53Z","timestamp":1556502953000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4228249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2007.370521","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}