1. Reasoning about Action Systems using the B-Method

   • M. Waldén
   • K. Sere

   OriginalPaper Pages: 5 - 35

2. Checking Combinational Equivalence of Speed-Independent Circuits

   • Peter A. Beerel
   • Jerry R. Burch
   • Teresa H. Meng

   OriginalPaper Pages: 37 - 85

3. A Functional Rephrasing of the Assumption/Commitment Specification Style

   • Manfred Broy

   OriginalPaper Pages: 87 - 119