Sciweavers

ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
14 years 4 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan