Author:
Davis Jared,Slobodova Anna,Swords Sol
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;W.A. Hunt Jr.,2009
2. Hunt Jr., W.A., Swords, S., Davis, J., Slobodova, A.: Use of Formal Verification at Centaur Technology. In: Hardin, D. (ed.) Design and Verification of Microprocessor Systems for High-Assurance Applications, pp. 65–88. Springer (2010)
3. Slobodova, A., Davis, J., Swords, S., Hunt Jr., W.: A flexible formal verification framework for industrial scale validation. In: Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, UK, pp. 89–97. IEEE/ACM (July 2011)
4. Kaufmann, M., Moore, J.S., Boyer, R.S.: ACL2 version 6.1 (2013),
http://www.cs.utexas.edu/~moore/acl2/
5. Lecture Notes in Computer Science;S. Ray,2004
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献