http://devil.ece.utexas.edu:80/~lynch/divide/divide.html Formal Verification of the K5 Divide Program

Formal Verification of the K5 Divide Program

o author affiliations

o colloquia anouncement

o abstract

o technical report explaining how the proof works

o the ACL2 based proof

moore@cli.com
Tom.Lynch@amd.com
Matt_Kaufmann@email.mot.com