External Links

    Journal: Formal Methods in System Design

    Volume 5, Issue 1/2

    7 -- 33Holger Busch. Rule-Based Induction
    35 -- 59John Harrison. Constructing the Real Numbers in HOL
    61 -- 94Catia M. Angelo, Luc J. M. Claesen, Hugo De Man. Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL
    95 -- 117Mark Aagaard, Miriam Leeser. A Methodology for Efficient Hardware Verification
    119 -- 144Saraswati Kalvala. Annotations in Formal Specifications and Proofs
    145 -- 176Klaus Schneider, Ramayya Kumar, Thomas Kropf. Accelerating Tableaux Proofs Using Compact Representations
    runs on