1. Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

   • Jørn Lind-Nielsen
   • Henrik Reif Andersen
   • Kim G. Larsen

   OriginalPaper Pages: 5 - 23

2. Analysis of Timed Systems Using Time-Abstracting Bisimulations

   • Stavros Tripakis
   • Sergio Yovine

   OriginalPaper Pages: 25 - 68

3. Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93

   • Krishnaprasad Thirunarayan
   • Robert L. Ewing

   OriginalPaper Pages: 69 - 88