The Murφ verification system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 390-393

  Dill, David L ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

VERIFICATION SYSTEMS;

COMPUTER AIDED ANALYSIS;

EID: 84957366356     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_86     Document Type: Conference Paper

References (16)

1. K. Mani Chandy and Jayadev Misra. Parallel Program Design -- a Foundation. Addison-Wesley, 1988.
2. 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-525, 1992.
3. Alan J. Hu and David L. Dill. Conjunctive partitioned invariants for efficient verification with bdds. 5th International Conference on Computer-Aided Verification, June 1993.
4. Alan J. Hu and David L. Dill. Reducing BDD size by exploiting functional dependencies. In 30th Design Automation Conference, pages 266-271, 1993. Dallas, Texas, June 14-18.
5. G. J. Holzmann. On limits and possibilities of automated protocol analysis. In Protocol Specification, Testing, and Verification. 7th International Conference, pages 339-344, 1987.
6. 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-282, 1994.
7. C. Norris Ip and David L. Dill. Better verification through symmetry. 11th International Symposium on Computer Hardware Description Languages and Their Applications, pages 87-100, April 1993. Extended version with complete proofs and semantic analysis to appear in Formal Methods in System Design.
8. 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-234, October 1993.
9. C. Norris Ip and David L. Dill. State reduction using reversible rules. 33rd Design Automation Conference, June 1996.
10. C. Norris Ip and David L. Dill. Verifying systems with replicated components in murφ. In this proceedings, 1996.
11. U. Stem 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-34, 1995.
12. U. Stem and D. L. Dill. Improved probabilistic verification by hash compaction. In IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, pages 206-224, 1995.
13. Ulrich Stern and David L Dill. Improved probabilistic verification by hash compaction. In Correct Hardware Design and Verification Methods: IFIP WGIO.5 Advanced Research Working Conference Proceedings, 1995.
14. U. Stem arid D. L. Dill. A new scheme for memory-efficient probabilistic verification. Submitted for publication, 1996.
15. P. Wolper and D. Leroy. Reliable hashing without collision detection. Unpublished revised version of [WL93].
16. P. Wolper and D. Leroy. Reliable hashing without collision detection. In Computer Aided Verification. 5th International Conference, pages 59-70, 1993.