1. A Mechanized Proof Environment for the Convenient Computations Proof Method

   • Marcelo Glusman
   • Shmuel Katz

   OriginalPaper Pages: 115 - 142

2. Behavioral Subtyping Relations for Active Objects

   • Heike Wehrheim

   OriginalPaper Pages: 143 - 170

3. Formal Verification of a Complex Pipelined Processor

   • Ravi Hosabettu
   • Ganesh Gopalakrishnan
   • Mandayam Srivas

   OriginalPaper Pages: 171 - 213