{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T05:12:01Z","timestamp":1710393121427},"reference-count":16,"publisher":"Wiley","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Syst. Comp. Jpn."],"published-print":{"date-parts":[[2000,8]]},"DOI":"10.1002\/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","type":"journal-article","created":{"date-parts":[[2002,9,10]],"date-time":"2002-09-10T18:39:10Z","timestamp":1031683150000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["Yet more image computations for SMV, the symbolic model verifier"],"prefix":"10.1002","volume":"31","author":[{"given":"Hiromi","family":"Hiraishi","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2000]]},"reference":[{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB1","author":"Clarke","year":"1983","unstructured":"Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach. Proc 10th ACM Symp Principles of Programming Languages, p 117-126, 1983."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB2","author":"Burch","year":"1990","unstructured":"Sequential circuit verification using symbolic model checking. Proc 27th Design Automation Conference, p 46-51, 1990."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB3","author":"Burch","year":"1990","journal-title":"Proc Logic in Computer Science"},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB4","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"Akers","year":"1978","journal-title":"IEEE Trans Comput"},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"Bryant","year":"1986","journal-title":"IEEE Trans Comput"},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB6","unstructured":"Model checking at CMU, http:\/\/www.cs.cmu.edu\/?modelcheck."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB7","volume-title":"Verification of synchronous sequential machines based on symbolic execution","author":"Coudert","year":"1989","unstructured":"Verification of synchronous sequential machines based on symbolic execution. LNCS 407. Springer-Verlag; 1989."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB8","first-page":"130","author":"Touati","year":"1990","journal-title":"Proc ICCAD"},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB9","author":"Burch","year":"1991","unstructured":"Representing circuits more efficiently in symbolic model checking. Proc 28th DAC, p 403-407, 1991."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB10","author":"Burch","year":"1991","unstructured":"Symbolic model checking with partitioned transition relations. Proc Int Conf on Very Large Scale Integration, p 49-58, 1991."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB11","first-page":"214","volume-title":"Vectorized symbolic model checking of computation tree logic","author":"Hiraishi","year":"1992","unstructured":"Vectorized symbolic model checking of computation tree logic. LNCS 575. Springer-Verlag; 1992. p 214-224."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB12","first-page":"112","volume":"9","author":"Hiraishi","year":"1994","journal-title":"Comput Sys Sci Eng"},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB13","first-page":"710","volume":"35","author":"Hiraishi","year":"1994","journal-title":"Inf Process"},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"McMillan","year":"1993","unstructured":"Symbolic model checking. Kluwer Academic; 1993."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB15","first-page":"379","volume-title":"A general approach to partial order reductions in symbolic verification","author":"Abdulla","year":"1998","unstructured":"A general approach to partial order reductions in symbolic verification. LNCS 1427.Springer-Verlag; 1998. p 379-390."},{"key":"10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1-BIB16","first-page":"391","volume-title":"Correctness of the concurrent approach to symbolic verification of interleaved models","author":"Balarin","year":"1998","unstructured":"Correctness of the concurrent approach to symbolic verification of interleaved models. LNCS 1427. Springer-Verlag; 1998. p 391-402."}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1520-684X(200008)31:9%3C1::AID-SCJ1%3E3.0.CO;2-1","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1520-684X(200008)31:9%3C1::AID-SCJ1%3E3.0.CO;2-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T04:59:17Z","timestamp":1625115557000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1520-684X(200008)31:9<1::AID-SCJ1>3.0.CO;2-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":16,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2000,8]]}},"URL":"https:\/\/doi.org\/10.1002\/1520-684x(200008)31:9<1::aid-scj1>3.0.co;2-1","relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}