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