Author:
Abed Sa’ed,Ait Mohamed Otmane,Al-Sammane Ghiath
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference45 articles.
1. Kropf T. Introduction to Formal Hardware Verification. Springer Verlag, 1999.
2. Aagaard M D, Jones R B, Seger C H. Combining theorem proving and trajectory evaluation in an industrial environment. In Proc. the 1998 Conference on Design Automation (DAC-98), Los Alamitos, CA, ACM/IEEE, Jun. 1998, pp.538–541.
3. Joyce J J, Seger C H (eds.). The HOL-Voss system: Model checking inside a general-purpose theorem prover. Lecture Notes in Computer Science 780, Springer, 1994, pp.185–198.
4. Schneider K, Kropf T. Verifying hardware correctness by combining theorem proving and model checking. Technical Report SFB 358-C2-5/95, Institut für Rechnerentwurf und Fehlertoleranz, 1995.
5. Kort S, Tahar S, Curzon P. Hierarchical verification using an MDG-HOL hybrid tool. International Journal on Software Tools for Technology Transfer, May 2003, 4(3): 313–322.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献