{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:24:45Z","timestamp":1792185885420,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540614746","type":"print"},{"value":"9783540685999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61474-5_86","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:41:27Z","timestamp":1330274487000},"page":"390-393","source":"Crossref","is-referenced-by-count":159,"title":["The Mur \u03d5 verification system"],"prefix":"10.1007","author":[{"given":"David L.","family":"Dill","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design \u2014 a Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"David L. Dill, Andreas J. Drexler, Alan J. Hu, and C. Han Yang. Protocol verification as a hardware design aid. IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 522\u2013525, 1992.","DOI":"10.1109\/ICCD.1992.276232"},{"key":"34_CR3","unstructured":"Alan J. Hu and David L. Dill. Conjunctive partitioned invariants for efficient verification with bdds. 5th International Conference on Computer-Aided Verification, June 1993."},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Alan J. Hu and David L. Dill. Reducing BDD size by exploiting functional dependencies. In 30th Design Automation Conference, pages 266\u2013271, 1993. Dallas, Texas, June 14\u201318.","DOI":"10.1145\/157485.164888"},{"key":"34_CR5","unstructured":"G. J. Holzmann. On limits and possibilities of automated protocol analysis. In Protocol Specification, Testing, and Verification. 7th International Conference, pages 339\u2013344, 1987."},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Alan J. Hu, Gary York, and David L. Dill. New techniques for efficient verification with implicitly conjoined BDDs. In 31st Design Automation Conference, pages 276\u2013282, 1994.","DOI":"10.1145\/196244.196377"},{"key":"34_CR7","unstructured":"C. Norris Ip and David L. Dill. Better verification through symmetry. 11th International Symposium on Computer Hardware Description Languages and Their Applications, pages 87\u2013100, April 1993. Extended version with complete proofs and semantic analysis to appear in Formal Methods in System Design."},{"key":"34_CR8","unstructured":"C. Norris Ip and David L. Dill. Efficient verification of symmetric concurrent systems. IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 230\u2013234, October 1993."},{"key":"34_CR9","unstructured":"C. Norris Ip and David L. Dill. State reduction using reversible rules. 33rd Design Automation Conference, June 1996."},{"key":"34_CR10","unstructured":"C. Norris Ip and David L. Dill. Verifying systems with replicated components in mur\u03d5. In this proceedings, 1996."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"U. Stern and D. L. Dill. Automatic verification of the SCI cache coherence protocol. In IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pages 21\u201334,1995.","DOI":"10.1007\/3-540-60385-9_2"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"U. Stern and D. L. Dill. Improved probabilistic verification by hash compaction. In IFIP WG 10.5 Advanced Research Working Conferenceon Correct Hardware Design and Verification Methods, pages 206\u2013224, 1995.","DOI":"10.1007\/3-540-60385-9_13"},{"key":"34_CR13","unstructured":"Ulrich Stem and David L. Dill. Improved probabilistic verification by hash compaction. In Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference Proceedings, 1995."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"U. Stern and D. L. Dill. A new scheme for memory-efficient probabilistic verification. Submitted for publication, 1996.","DOI":"10.1007\/978-0-387-35079-0_21"},{"key":"34_CR15","unstructured":"P. Wolper and D. Leroy. Reliable hashing without collision detection. Unpublished revised version of [WL93]."},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"P. Wolper and D. Leroy. Reliable hashing without collision detection. In Computer Aided Verification. 5th International Conference, pages 59\u201370, 1993.","DOI":"10.1007\/3-540-56922-7_6"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61474-5_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T19:19:29Z","timestamp":1742584769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61474-5_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614746","9783540685999"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61474-5_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}