{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:56:09Z","timestamp":1729677369867,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/iceccs.2015.24","type":"proceedings-article","created":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T21:24:29Z","timestamp":1453152269000},"page":"130-139","source":"Crossref","is-referenced-by-count":13,"title":["Formal Development of a Real-Time Operating System Memory Manager"],"prefix":"10.1109","author":[{"given":"Wen","family":"Su","sequence":"first","affiliation":[]},{"given":"Jean-Raymond","family":"Abrial","sequence":"additional","affiliation":[]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[]},{"given":"Bin","family":"Fang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Towards verified virtual memory in 14","author":"klein","year":"2004","journal-title":"TPHOLS EMERGING TRENDS'04 PARK CITY"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","article-title":"ProB: an automated analysis toolset for the B method","volume":"10","author":"leuschel","year":"2008","journal-title":"STTT"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9052-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2004.1311009"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2002.1019184"},{"journal-title":"A Concise Summary of the Event B mathematical toolkit","year":"0","author":"robinson","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07512-9_2"},{"key":"ref18","first-page":"437","author":"su","year":"2011","journal-title":"ICFEM"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58555-9_83"},{"journal-title":"Transforming guarded events into pre-conditioned operations","year":"2014","author":"abrial","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30885-7_33"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16265-7_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0183-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10181-1_20"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"journal-title":"Rodin Development and Code for this Paper","year":"0","key":"ref1"},{"key":"ref9","first-page":"207","article-title":"se14: formal verification of an OS kernel","author":"klein","year":"2009","journal-title":"Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009 SOSP 2009 Big Sky Montana USA October 11–14 2009"},{"year":"2013","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2013.44"}],"event":{"name":"2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)","start":{"date-parts":[[2015,12,9]]},"location":"Gold Coast, Australia","end":{"date-parts":[[2015,12,12]]}},"container-title":["2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7381588\/7384213\/07384237.pdf?arnumber=7384237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T03:59:46Z","timestamp":1498276786000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7384237\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2015.24","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}