{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:37:40Z","timestamp":1725856660058},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_33","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T01:35:47Z","timestamp":1464053747000},"page":"523-536","source":"Crossref","is-referenced-by-count":2,"title":["CloudSDV Enabling Static Driver Verifier Using Microsoft Azure"],"prefix":"10.1007","author":[{"given":"Rahul","family":"Kumar","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Ball","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Lichtenberg","sequence":"additional","affiliation":[]},{"given":"Nate","family":"Deisinger","sequence":"additional","affiliation":[]},{"given":"Apoorv","family":"Upreti","sequence":"additional","affiliation":[]},{"given":"Chetan","family":"Bansal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"33_CR1","unstructured":"Jom. https:\/\/wiki.qt.io\/Jom"},{"key":"33_CR2","unstructured":"Microsoft azure. https:\/\/azure.microsoft.com\/en-us\/"},{"key":"33_CR3","unstructured":"Microsoft azure autoscale. https:\/\/msdn.microsoft.com\/en-us\/library\/Hh680945%28v=PandP.50%29.aspx"},{"key":"33_CR4","unstructured":"Microsoft azure blob storage. https:\/\/msdn.microsoft.com\/library\/azure\/dd179376.aspx"},{"key":"33_CR5","unstructured":"Microsoft azure queue storage. http:\/\/azure.microsoft.com\/en-us\/documentation\/articles\/storage-introduction\/"},{"key":"33_CR6","unstructured":"Microsoft azure table storage. https:\/\/azure.microsoft.com\/en-us\/documentation\/articles\/storage-table-design-guide\/"},{"key":"33_CR7","unstructured":"Microsoft DDI compliance rules. http:\/\/msdn.microsoft.com\/en-us\/library\/windows\/hardware\/ff552840.aspx"},{"key":"33_CR8","unstructured":"Microsoft Static Driver Verifier. http:\/\/msdn.microsoft.com\/en-us\/library\/windows\/hardware\/ff552808.aspx"},{"key":"33_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-24756-2_1","volume-title":"Integrated Formal Methods","author":"T Ball","year":"2004","unstructured":"Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and static driver verifier: technology transfer of formal methods inside Microsoft. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 1\u201320. Springer, Heidelberg (2004)"},{"key":"33_CR10","unstructured":"Ball, T., Rajamani, S.K.: Slic: a specification language for interface checking (of C) (2002)"},{"key":"33_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-3-540-73370-6_13","volume-title":"Model Checking Software","author":"J Barnat","year":"2007","unstructured":"Barnat, J., Brim, L., Ro\u010dkai, P.: Scalable multi-core LTL model-checking. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 187\u2013203. Springer, Heidelberg (2007)"},{"key":"33_CR12","unstructured":"Barnett, M., Bouaziz, M., Fahndrich, M., Logozzo, F.: A case for static analyzers in the cloud (position paper)"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-3-319-08867-9_21","volume-title":"Computer Aided Verification","author":"D Beyer","year":"2014","unstructured":"Beyer, D., Dresler, G., Wendler, P.: Software verification in the google App-engine cloud. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 327\u2013333. Springer, Heidelberg (2014)"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Candea, G., Bucur, S., Zamfir, C.: Automated software testing as a service. In: Proceedings of the 1st ACM symposium on Cloud computing, pp. 155\u2013160. ACM (2010)","DOI":"10.1145\/1807128.1807153"},{"issue":"4","key":"33_CR15","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1713254.1713257","volume":"43","author":"L Ciortea","year":"2010","unstructured":"Ciortea, L., Zamfir, C., Bucur, S., Chipounov, V., Candea, G.: Cloud9: a software testing service. ACM SIGOPS Oper. Syst. Rev. 43(4), 5\u201310 (2010)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Joshi, R., Groce, A.: Swarm verification. In: Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2008, pp. 1\u20136. IEEE Computer Society, Washington, DC (2008)","DOI":"10.1109\/ASE.2008.9"},{"issue":"3","key":"33_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2004.10.016","volume":"128","author":"R Kumar","year":"2005","unstructured":"Kumar, R., Mercer, E.G.: Load balancing parallel explicit state model checking. Electron. Notes Theoret. Comput. Sci. 128(3), 19\u201334 (2005)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"2","key":"33_CR18","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1008771324652","volume":"18","author":"U Stern","year":"2001","unstructured":"Stern, U., Dill, D.L.: Parallelizing the mur $$\\phi $$ \u03d5 verifier. Formal Methods Syst. Des. 18(2), 117\u2013129 (2001)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T10:43:53Z","timestamp":1498301033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}