Re: Paper on reflection

rv_harris@ccmail.pnl.gov
Mon, 01 May 1995 10:31 -0700 (PDT)

>Subject: Paper on reflection
>Author: dam@ai.mit.edu
>Date: 4/30/95 11:44 AM
>... Of course to use a C
>program in a foundational verifier one would have to verify C (as John
>notes).
> ... David

Not to mention having to verify the operation of the hardware on which the C
code is running (as per the recent Pentium flap).

Rob Harris