Verification of AMBA Using a Combination of Model Checking and Theorem Proving-Reference-Cited by-同舟云学术

Verification of AMBA Using a Combination of Model Checking and Theorem Proving

Published:2006-01 Issue: Volume:145 Page:45-61
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Amjad Hasan

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference13 articles.

1. Programming a symbolic model checker in a fully expansive theorem prover;Amjad,2003

3. The temporal logic of branching time;Ben-Ari;Acta Informatica,1983

4. Campos, S., E.M. Clarke, W. Marrero and M. Minea, Verifying the Performance of the PCI Local Bus using Symbolic Techniques, in: A. Kuehlmann, editor, Proceedings of the IEEE International Conference on Computer Design (ICCD '95), Austin, Texas, 1995

5. Clarke, E. M., O. Grumberg, H. Hiraishi, S. Jha, D. E. Long, K. L. McMillan and L. A. Ness, Verification of the Futurebus+ cache coherence protocol, Technical Report CMU-CS-92-206, Carnegie Mellon University (1992)

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

1. The role of model checking in software engineering;Frontiers of Computer Science;2018-04-27

2. Towards Verification of Multicore Motor-Drive Controllers in Aerospace;Lecture Notes in Computer Science;2015

3. A monadic approach to automated reasoning for Bluespec SystemVerilog;Innovations in Systems and Software Engineering;2011-03-18

4. A multi-level design methodology of multistage interconnection network for MPSOCs;International Journal of Computer Applications in Technology;2011

5. A Design Methodology of MIN-Based Network for MPPSoC on Reconfigurable Architecture;Reconfigurable Embedded Control Systems;2011