{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T06:18:41Z","timestamp":1648793921843},"reference-count":20,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5936,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw. Test. Verif. Reliab."],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1002\/(sici)1099-1689(199906)9:2<107::aid-stvr176>3.0.co;2-y","type":"journal-article","created":{"date-parts":[[2002,9,10]],"date-time":"2002-09-10T19:06:42Z","timestamp":1031684802000},"page":"107-133","source":"Crossref","is-referenced-by-count":0,"title":["LVT: a layered verification technique for distributed computing systems"],"prefix":"10.1002","volume":"9","author":[{"given":"Cui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian R.","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dave","family":"Peticolas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald A.","family":"Olsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl N.","family":"Levitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0304-3975(91)90224-P","volume":"82","author":"Abadi","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB2","volume-title":") The SR Programming Language: Concurrency in Practic","author":"Andrews","year":"1993","unstructured":"and (1993) The SR Programming Language: Concurrency in Practice, Benjamin\/Cummings, Redwood City, California, U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB3","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF00243131","volume":"5","author":"Bevier","year":"1989","journal-title":"Journal of Automated Reasoning"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB4","volume-title":"A Computational Logic Handbook","author":"Boyer","year":"1988","unstructured":"and (1988) A Computational Logic Handbook, Academic Press, Boston, Massachusetts, U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB5","volume-title":"Parallel Program Design: a Foundation of Programming Logic","author":"Chandy","year":"1988","unstructured":"and (1988) Parallel Program Design: a Foundation of Programming Logic, Addison-Wesley, Reading, Massachusetts, U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB6","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/B978-0-444-89880-7.50027-9","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"Curzon","year":"1993","unstructured":"(1993) \u2018Deriving correctness properties of compiled code\u2019, in Higher Order Logic Theorem Proving and Its Applications, IFIP Transactions, A-20, North-Holland, pp. 327-346."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB7","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"25","author":"Dijkstra","year":"1975","journal-title":"Communications of the ACM"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB8","volume-title":"A Discipline of Programming","author":"Dijkstra","year":"1976","unstructured":"(1976) A Discipline of Programming, Prentice-Hall, Englewood Cliffs, New Jersey, U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB9","volume-title":"Program Verification","author":"Francez","year":"1992","unstructured":"(1992) Program Verification, Addison-Wesley, Harlow, Essex, U.K."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB10","author":"Good","year":"1992","unstructured":"and (1992) \u2018The role of automated reasoning in integrated system verification environments\u2019, Technical Report 73, Computational Logic, Inc., U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB11","author":"Good","year":"1991","unstructured":"and (1991) \u2018Mathematical methods for digital development\u2019, Technical Report 67, Computational Logic, Inc., U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB12","volume-title":"Introduction to HOL: a Theorem Proving Environment for Higher Order Logic","author":"Gordon","year":"1993","unstructured":"and (1993) Introduction to HOL: a Theorem Proving Environment for Higher Order Logic, Cambridge University Press, Cambridge, U.K."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB13","first-page":"177","volume-title":"Specification, Verification and Synthesis: Mathematical Aspects","author":"Joyce","year":"1989","unstructured":"(1989) \u2018Totally verified systems: linking verified software to verified hardware\u2019, in and (eds), Specification, Verification and Synthesis: Mathematical Aspects, Springer-Verlag, Berlin, Germany, pp. 177-201."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB14","volume-title":"Introduction to the Theory of Programming Languages","author":"Meyer","year":"1990","unstructured":"(1990) Introduction to the Theory of Programming Languages, Prentice-Hall International, Hemel Hempstead, U.K."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB15","first-page":"748","volume-title":"Lecture Notes in Computer Science","volume":"607","author":"Owre","year":"1992","unstructured":", and (1992) PVS: a Prototype Verification System, Lecture Notes in Computer Science, Vol. 607, Springer-Verlag, Berlin, Germany, pp. 748-752."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526602","volume-title":"Logic and Computation: Interactive Proof with Cambridge LCF","author":"Paulson","year":"1987","unstructured":"(1987) Logic and Computation: Interactive Proof with Cambridge LCF, Cambridge University Press, Cambridge, U.K."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB17","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/158439.158441","volume":"25","author":"Shankar","year":"1993","journal-title":"ACM Computing Surveys"},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB18","volume-title":"Elements of ML Programming","author":"Ullman","year":"1994","unstructured":"(1994) Elements of ML Programming, Prentice-Hall, Englewood Cliffs, New Jersey, U.S.A."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB19","first-page":"122","volume-title":"Lecture Notes in Computer Science","volume":"683","author":"Windley","year":"1993","unstructured":"(1993) A Theory of Generic Interpreters\u2019, Lecture Notes in Computer Science, Vol. 683, Springer-Verlag, Berlin, Germany, pp. 122-134."},{"key":"10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y-BIB20","author":"Zhang","year":"1994","unstructured":", , , , and (1994) \u2018Towards a formal verification of a secure distributed system and its applications\u2019, Proceedings of the 17th National Computer Security Conference, Baltimore, Maryland, U.S.A. pp. 103-113."}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1099-1689(199906)9:2%3C107::AID-STVR176%3E3.0.CO;2-Y","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1099-1689(199906)9:2%3C107::AID-STVR176%3E3.0.CO;2-Y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T06:39:10Z","timestamp":1625121550000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1099-1689(199906)9:2<107::AID-STVR176>3.0.CO;2-Y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,6]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1099-1689(199906)9:2<107::aid-stvr176>3.0.co;2-y","relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}