Automated proofs of object code for a widely used microprocessor
From MaRDI portal
Publication:4371519
DOI10.1145/227595.227603zbMath0882.68128OpenAlexW1965348053MaRDI QIDQ4371519
Publication date: 19 January 1998
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/jacm/1996-43/
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Parameterized synthesis for fragments of first-order logic over data words ⋮ Function extraction ⋮ A mechanical analysis of program verification strategies ⋮ Highly Automated Formal Proofs over Memory Usage of Assembly Code ⋮ Hardware-Dependent Proofs of Numerical Programs
Uses Software
This page was built for publication: Automated proofs of object code for a widely used microprocessor
