{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T19:49:04Z","timestamp":1693684144625},"reference-count":14,"publisher":"International Academy Publishing (IAP)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCP"],"DOI":"10.4304\/jcp.7.10.2503-2510","type":"journal-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T15:07:47Z","timestamp":1350313667000},"source":"Crossref","is-referenced-by-count":10,"title":["A Case Study of Model Checking Retail Banking System with SPIN"],"prefix":"10.17706","volume":"7","author":[{"given":"Huiling","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenke","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meihong","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinchang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,10,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2009.08.003"},{"issue":"3","key":"ref2","first-page":"145","article-title":"Modeling and Formal Verification of DHCP Using SPIN","volume":"6","author":"Islam","year":"2006","unstructured":"[3]Syed M.S. Islam, Mohammed H. Sqalli, Sohel Khan. \"Modeling and Formal Verification of DHCP Using SPIN\".International Journal of Computer Science & Applications. 6(3),pp:145-159, 2006.","journal-title":"International Journal of Computer Science & Applications"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.05.005"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref5","volume-title":"The SPIN Model Checker Primer and Reference Manual","author":"Holzmann","year":"2004","unstructured":"[9]G. J. Holzmann, \"The SPIN Model Checker: Primer and Reference Manual\", Addison Wesley, 2004."},{"key":"ref6","volume-title":"Logic in Computer Science Modelling and Reasoning about System","author":"Huth","year":"1999","unstructured":"[10]Michael Huth, Mark Ryan, \"Logic in Computer Science: Modelling and Reasoning about System\", Cambridge University Press, 1999."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[1]Lu Simei, Zhang Jianlin, Luo Liming. \"The Automatic Verification and Improvement of SET Protocol Model with SMV\". In: Proceedings of Information Engineering and Electronic Commerce, 2009.","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[5]Barry Long, Juergen Dingel, T.C. Nicholas Graham.\" Experience Applying the SPIN Model Checker to an Industrial Telecommunications System\".In.proc.of 30th International Conference on Software Engineering, ACM 2008:693-702.","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[6]Li Jing, Li Jinhua. \"Model Checking the SET Purchasing Process Protocol with SPIN\". In: proc. Of 5th International Conference on Wireless Communications, Networking and Mobile Computing, 2009.","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[7]On-the-fly LTL model checking with SPIN. http:\/\/spinroot.com\/spin\/whatispin.html","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[11]Marina Mongiello, \"Finite-state verification of the ebXML protocol\", Electronic Commerce Research and Applications pp: 147-169, 2006(5).","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[12]Vladimir A. Oleshchuk, \"Modeling,specification and verification od ad-hoc sensor networks using SPIN\", Computer Standards & Interfaces,pp :159-165,2005(28).","DOI":"10.1145\/1047659.1040315"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"[13]Xiao Yu, Zheng Wang,Geguang Pu, etc. \"The Verification of rCOS Using Spin\". Electronic Notes in Theoretical Computer Science, pp: 49-67, 2008(207).","DOI":"10.1145\/1047659.1040315"}],"container-title":["Journal of Computers"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:24:27Z","timestamp":1497993867000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jcp\/article\/view\/6456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,1]]},"references-count":14,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2012,10,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jcp.7.10.2503-2510","relation":{},"ISSN":["1796-203X"],"issn-type":[{"value":"1796-203X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,10,1]]}}}