{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:57:59Z","timestamp":1750309079558,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1981,7,1]],"date-time":"1981-07-01T00:00:00Z","timestamp":362793600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[1981,7]]},"DOI":"10.1145\/1010832.1010843","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"27-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Recent SRI work in verification"],"prefix":"10.1145","volume":"6","author":[{"given":"Karl N.","family":"Levitt","sequence":"first","affiliation":[{"name":"SRI International, Menlo, Park, CA"}]},{"given":"Peter G.","family":"Neumann","sequence":"additional","affiliation":[{"name":"SRI International, Menlo, Park, CA"}]}],"member":"320","published-online":{"date-parts":[[1981,7]]},"reference":[{"volume-title":"Academic Press","year":"1979","author":"Strother Moore J","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"292","volume-title":"Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification","author":"Goguen R. M.","year":"1980"},{"volume-title":"The Correctness Problem in Computer Science","year":"1981","author":"Goguen R. M.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","unstructured":"W. D. Elliott Evaluation of SPECIAL. in preparation.  W. D. Elliott Evaluation of SPECIAL. in preparation."},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Goguen J. A. and Meseguer J. Completeness of Many-sorted Equational Logic. to appear SIGACT Newsletter. 1981.  Goguen J. A. and Meseguer J. Completeness of Many-sorted Equational Logic. to appear SIGACT Newsletter. 1981.","DOI":"10.1145\/947864.947865"},{"volume-title":"Proceedings, International Conference on Formalizing Programming Concepts","year":"1981","author":"Parsaye-Ghomi J. A.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Goguen J. A. Thoughts on Program Specification Design and Verification. ACM SIGSOFT Software Engineering Notes 5(3) 1980.  Goguen J. A. Thoughts on Program Specification Design and Verification. ACM SIGSOFT Software Engineering Notes 5(3) 1980.","DOI":"10.1145\/1010832.1010845"},{"key":"e_1_2_1_14_1","first-page":"356","volume-title":"Proceedings, 5th Conference on Automated Deduction","volume":"87","author":"J.","year":"1980"},{"volume-title":"8th World Computer Congress, IFIP Congress 80","year":"1980","author":"J.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_17_1","unstructured":"Lamport L. and Owicki S. Proving Liveness Properties of Concurrent Programs. 1980.  Lamport L. and Owicki S. Proving Liveness Properties of Concurrent Programs. 1980."},{"volume-title":"Computer Science Laboratory","year":"1981","author":"Lamport L.","key":"e_1_2_1_18_1"},{"volume-title":"Computer Science and Technology.","year":"1980","author":"Levitt K.","key":"e_1_2_1_20_1"},{"issue":"3","key":"e_1_2_1_21_1","first-page":"9","volume":"5","author":"Levitt K. N.","year":"1980","journal-title":"An Overview of SRI Work in Verification. ACM SIGSOFT Software Engineering Notes"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Melliar-Smith P. M. and Schwartz R. L. Hierarchical Specification of the SIFT Fault-Tolerant Flight-Control System. 1981.  Melliar-Smith P. M. and Schwartz R. L. Hierarchical Specification of the SIFT Fault-Tolerant Flight-Control System. 1981.","DOI":"10.1109\/TC.1982.1676059"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682566"},{"volume-title":"Capri","year":"1980","author":"Neumann P. G.","key":"e_1_2_1_24_1"},{"volume-title":"Computer Science Department","year":"1981","author":"K.","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322188"},{"volume-title":"Proceedings of the Second International Conference on Distributed Systems), INRIA","year":"1981","author":"Melliar-Smith R. L.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","unstructured":"R. Shostak A New Theorem Prover for Unquantified Formulas. In preparation 1981.  R. Shostak A New Theorem Prover for Unquantified Formulas. In preparation 1981."},{"volume-title":"SRI International","year":"1980","author":"Silverberg B.","key":"e_1_2_1_29_1"},{"key":"e_1_2_1_30_1","first-page":"75","volume-title":"SIFT: System Design and Implementation. In Proceedings of FTCS-10","author":"Weinstock C.","year":"1980"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010843","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010832.1010843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:25Z","timestamp":1750286605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010832.1010843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,7]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,7]]}},"alternative-id":["10.1145\/1010832.1010843"],"URL":"https:\/\/doi.org\/10.1145\/1010832.1010843","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1981,7]]},"assertion":[{"value":"1981-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}