1. Formal analysis of correctness of behavioral transformations

   • Michael C. McFarland

   OriginalPaper Pages: 231 - 257

2. A unified framework for describing and verifying hardware synchronous sequential systems

   • Ghislaine Thuau
   • Bachir Berkane

   OriginalPaper Pages: 259 - 276

3. Test case verification by model checking

   • Kshirasagar Naik
   • Behcet Sarikaya

   OriginalPaper Pages: 277 - 321