Next:
General Approach
Up:
Safety Checking of Kernel
Previous:
Introduction
Prototype Prover
Subsections
General Approach
Implementation Walk-Through
Limited x86 Simulation in the Prover
Preliminary Results
Craig Metz 2000-05-08