External Links

    Journal: Formal Methods in System Design

    Volume 14, Issue 3

    235 -- 0Rajeev Alur, Thomas A. Henzinger. Introduction
    237 -- 255Bernard Boigelot, Patrice Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs
    257 -- 271Patrice Godefroid, David E. Long. Symbolic Protocol Verification with Queue BDDs
    273 -- 310C. Norris Ip, David L. Dill. Verifying Systems with Replicated Components in Mur[b.phiv]
    311 -- 332Shmuel Katz, Hillel Miller. Saving Space by Fully Exploiting Invisible Transitions

    Volume 14, Issue 2

    135 -- 169Simin Nadjm-Tehrani, Jan-Erik Strömberg. Formal Verification of Dynamic Properties in an Aerospace Application
    171 -- 191Guy Leduc, Olivier Bonaventure, Luc Léonard, E. Koerner, Charles Pecheur. Model-Based Verification of a Security Protocol for Conditional Access to Services
    193 -- 212Wai Wong. Validation of HOL Proofs by Proof Checking
    213 -- 228J. Strother Moore. A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View

    Volume 14, Issue 1

    5 -- 6Steven M. German. Introduction to the Special Issue on Verification of Arithmetic Hardware
    7 -- 44Edmund M. Clarke, Steven M. German, Xudong Zhao. Verifying the SRT Division Algorithm Using Theorem Proving Techniques
    45 -- 73Harald Rueß, Natarajan Shankar, Mandayam K. Srivas. Modular Verification of SRT Division
    75 -- 125David M. Russinoff. A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode
    runs on