language: en

Kit: A Study in Operating System Verification

William R. Bevier
Technical Report 28 August, 1988
Computational Logic Inc.
1717 W. 6th St. Suite 290 Austin, Texas 78703

[(512) 322-9951]

[This research was supported in part by the U.S. Government.]

[The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the U.S. Government.]

[This work was sponsored in part at Computational Logic, Inc. by the Defense Advanced Research Projects Agency, ARPA Orders 6082 and 9151, and at the University of Texas at Austin by the Defense Advanced Research Projects Agency, ARPA Order 5246, issued by the Space and Naval Warfare Systems Command under Contract N00039-85-K-0085.]