Mechanically Checked Proofs of Kernel Specification

• Authors:

• William R. Bevier;Jørgen F. Søgaard-Andersen

• Affiliations:

• -;-

• Venue:
• CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
• Year:
• 1991