External Links

    Journal: Journal of Automated Reasoning

    Volume 5, Issue 4

    411 -- 428William R. Bevier, Warren A. Hunt Jr., J. Strother Moore, William D. Young. An Approach to Systems Verification
    429 -- 460Warren A. Hunt Jr.. Microprocessor Design Verification
    461 -- 492J. Strother Moore. A Mechanically Verified Language Implementation
    493 -- 518William D. Young. A Mechanically Verified Code Generator
    519 -- 530William R. Bevier. Kit and the Short Stack
    531 -- 532Larry Wos. The Problem of Guaranteeing the Absence of a Complete Set of Reductions
    533 -- 540Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik. An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods
    runs on