Check out the new USENIX Web site. next up previous
Next: General Approach Up: Safety Checking of Kernel Previous: Introduction

Prototype Prover



Subsections

Craig Metz 2000-05-08