External Links

    Journal: Comput. J.

    Volume 38, Issue 2

    91 -- 100Paul Curzon. Tracking Design Changes with Formal Machine - Checked Proof
    101 -- 110Mats Larsson. An Engineering Approach to Formal Digital System Design
    111 -- 120Sofiène Tahar, Ramayya Kumar. Formal Specification and Verification Techniques for RISC Pipeline Conflicts
    121 -- 130Sten Agerholm. LCF Examples in HOL
    131 -- 141Peter V. Homeier, David F. Martin. A Mechanically Verified Verification Condition Generator
    142 -- 151Elsa L. Gunter, Savi Maharaj. Studying the ML Module System in HOL
    152 -- 161Ching-Tsun Chou. Mechanical Verification of Distributed Algorithms in Higher-Order Logic
    162 -- 170John Harrison. Binary Decision Diagrams as a HOL Derived Rule
    171 -- 179Joakim von Wright. Representing Higher-Order Logic Proofs in HOL
    runs on