{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:39:28Z","timestamp":1729672768674,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/cscwd.2014.6846870","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T11:52:07Z","timestamp":1406634727000},"page":"360-365","source":"Crossref","is-referenced-by-count":8,"title":["Simulation and verification of the virtual memory management system with MSVL"],"prefix":"10.1109","author":[{"given":"Meng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/355602.361306","article-title":"The multics virtual memory: concepts and design","volume":"15","author":"andre","year":"1972","journal-title":"Communications of the ACM"},{"article-title":"Formal verification of demand paging","year":"2010","author":"artem","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1109\/12.2242","article-title":"Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures","volume":"37","author":"richard","year":"1988","journal-title":"Computers IEEE Transactions on"},{"article-title":"An extended interval temporal logic and a framing technique for temporal logic programming","year":"1996","author":"zhenhua","key":"ref6"},{"key":"ref11","first-page":"143","article-title":"Compositional verification of a baby virtual memory manager","author":"alexander","year":"2012","journal-title":"Certified Programs and Proofs"},{"article-title":"Page replacement in operating system memory management","year":"2007","author":"heikki","key":"ref5"},{"key":"ref12","article-title":"The duality of memory and communication in the implementation of a multiprocessor operating system","volume":"21","author":"michael","year":"1987","journal-title":"ACM"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF02944904","article-title":"A framed temporal logic programming language","volume":"19","author":"zhenhua","year":"2004","journal-title":"Journal of Computer Science and Technology"},{"article-title":"Temporal logic and temporal logic programming","year":"2005","author":"zhenhua","key":"ref7"},{"key":"ref2","first-page":"109","article-title":"Formal pervasive verification of a paging mechanism","author":"eyad","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"article-title":"Mach: A new kernel foundation for unix development","year":"1986","author":"mike","key":"ref9"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356571.356573","article-title":"Virtual memory","volume":"2","author":"peter","year":"1970","journal-title":"ACM Computing Surveys (CSUR)"}],"event":{"name":"2014 IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD)","start":{"date-parts":[[2014,5,21]]},"location":"Hsinchu, Taiwan","end":{"date-parts":[[2014,5,23]]}},"container-title":["Proceedings of the 2014 IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6839905\/6846800\/06846870.pdf?arnumber=6846870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T13:30:06Z","timestamp":1498138206000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6846870\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2014.6846870","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}