The Mur ϕ verification system-Reference-Cited by-同舟云学术

The Mur ϕ verification system

Published:1996 Issue: Volume: Page:390-393
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Dill David L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61474-5_86.pdf

Reference16 articles.

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.

Cited by 81 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Murphi2Chisel: A Protocol Compiler from Murphi to Chisel;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

3. Determining the Minimum Number of Virtual Networks for Different Coherence Protocols;2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA);2024-06-29

4. Rigorous Evaluation of Computer Processors with Statistical Model Checking;56th Annual IEEE/ACM International Symposium on Microarchitecture;2023-10-28

5. Survey of Approaches and Techniques for Security Verification of Computer Systems;ACM Journal on Emerging Technologies in Computing Systems;2023-01-19