Author:
Kumar Ramayya,Schneider Klaus,Kropf Thomas
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hierarchical Verification Using an MDG-HOL Hybrid Tool;Lecture Notes in Computer Science;2001
2. Reflecting BDDs in Coq;Advances in Computing Science — ASIAN 2000;2000
3. Formal verification in hardware design;ACM Transactions on Design Automation of Electronic Systems;1999-04
4. A practical methodology for the formal verification of RISC processors;Formal Methods in System Design;1998
5. Cooperating Theorem Provers;Applied Logic Series;1998