Author:
Chau Cuong,Hunt Warren A.,Roncken Marly,Sutherland Ivan
Publisher
Springer International Publishing
Reference18 articles.
1. Chau, C.: Extended abstract: formal specification and verification of the FM9001 microprocessor using the DE system. In: Proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2017), pp. 112–114 (2017)
2. Lecture Notes in Computer Science;E Clarke,1984
3. Hunt, W.: The DE language. In: Kaufmann, M., Manolios, P., Moore, J.S. (eds.) Computer-Aided Reasoning: ACL2 Case Studies, chapter 10, pp. 151–166. Springer, US (2000)
4. Hunt, W., Reeber, E.: Applications of the DE2 language. In: Proceedings of the Sixth International Workshop on Designing Correct Circuits (DCC-2006) (2006)
5. Hunt, W., Swords, S.: Use of the E language. In: Hardware Design and Functional Languages (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献