External Links

    Journal: IEEE Software

    Volume 7, Issue 5

    6 -- 10Susan L. Gerhart. Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor s Introduction
    11 -- 19Anthony Hall. Seven Myths of Formal Methods
    21 -- 28J. Michael Spivey. Specifying a Real-Time Kernel
    29 -- 36Norman M. Delisle, David Garlan. A Formal Specification of an Oscilloscope
    37 -- 50Richard A. Kemmerer. Integrating Formal Methods into the Development Process
    52 -- 64Mandayam K. Srivas, Mark Bickford. Formal Verification of a Pipelined Microprocessor
    65 -- 67David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey. The Case for Formal Methods in Standards
    69 -- 76Michael J. Quinn, Philip J. Hatcher. Data-Parallel Programming on Multicomputers
    77 -- 87Deborah Hix. Generations of User-Interface Management Systems
    runs on