Verifying the summit bus converter protocols with symbolic model checking Cheryl HarknessElizabeth Wolf OriginalPaper Pages: 83 - 97
Verification in process algebra of the distributed control of track vehicles—A case study Siegfried FischerAndreas ScholzDirk Taubner OriginalPaper Pages: 99 - 122
Verification of the Multistream Protocol (MSP) using COSPAN Thomas F. La PortaMischa Schwartz OriginalPaper Pages: 123 - 153
Description of a design management system for the P-ASIC design flow using EXPDL W. M. H. M. Rovers OriginalPaper Pages: 155 - 166
Extended BDDs: Trading of canonicity for structure in verification algorithms B. PlessierG. HachtelF. Somenzi OriginalPaper Pages: 167 - 185
Model checking for action-based logics Alessandro FantechiStefania GnesiGioia Ristori OriginalPaper Pages: 187 - 203