Date: Friday, 17-Jan-97 00:08:35 GMT Server: NCSA/1.3 MIME-version: 1.0 Content-type: text/html Last-modified: Tuesday, 23-Apr-96 21:21:35 GMT Content-length: 1750 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