An Approach to Formal Verification of Arithmetic Functions in Assembly

Reynald Affeldt, Nicolas Marti. An Approach to Formal Verification of Arithmetic Functions in Assembly. In Mitsu Okada, Ichiro Satoh, editors, Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. Volume 4435 of Lecture Notes in Computer Science, pages 346-360, Springer, 2006. [doi]

Abstract

Abstract is missing.