EPTCS 70 - ACL2 2011
David Hardin, Julien Schmaltz (Eds.): Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications. 2011 EPTCS 70 [ contents ]- Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios: Integrating Testing and Interactive Theorem Proving. ... 4-19
- Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young: Toward the Verification of a Simple Hypervisor. ... 28-45
- Matt Kaufmann, J. Strother Moore: How Can I Do That with ACL2? Recent Enhancements to ACL2. ... 46-60
- Peter-Michael Seidel: Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback. ... 70-83
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team