Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference9 articles.
1. Bevier, W. R., Hunt, W. A. Jr, and Young, W. D., ‘Toward verified execution environments’, In Proceedings of the 1987 Symposium on Security and Privacy, IEEE, 1987.
2. Boyer, R. S. and Moore, J S., A Computational Logic Handbook, Academic Press, New York, 1988.
3. Cohn, A., ‘The notion of proof in hardware verification’, J. Automated Reasoning
5, 127–139 (1989).
4. Gordon, M., ‘Why higher-order logic is a good formalism for specifying and verifying hardware’, Technical Report 77, Univ. of Cambridge, Computer Laboratory, 1985.
5. Gordon, M., ‘HOL: A proof generating system for higher-order logic’, Technical Report 103, Univ. of Cambridge, Computer Laboratory, 1987.
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献