External Links

    Journal: Formal Methods in System Design

    Volume 13, Issue 2

    127 -- 158Deepak Kapur, Mahadevan Subramaniam. Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory
    159 -- 225Sofiène Tahar, Ramayya Kumar. A Practical Methodology for the Formal Verification of RISC Processors
    runs on