1. Foreword

   • R K Shyamasundar

   Software Specification, Verification And Validation Pages: 123 - 123

2. A graphic language based on timing diagrams

   • Christian Antoine
   • Bernard Le Goff
   • Jean-Eric Pin

   Software Specification, Verification And Validation Pages: 125 - 145

3. A real-time interval logic and its decision procedure

   • Y S Ramakrishna
   • L K Dillon
   • G Kutty

   Software Specification, Verification And Validation Pages: 147 - 184

4. Validation and analysis of the futurebus arbitration protocol: A case study

   • F Boussinot
   • S Ramesh
   • R De Simone

   Software Specification, Verification And Validation Pages: 185 - 211

5. Converting a büchi alternating automaton to a usual nondeterministic one

   • Amar Isli

   Software Specification, Verification And Validation Pages: 213 - 228

6. Reuse of proofs in software verification

   • Wolfgang Reif
   • Kurt Stenzel

   Software Specification, Verification And Validation Pages: 229 - 244

7. Weak atomicity: A helpful notion in the construction of atomic shared variables

   • K Vidyasankar

   Software Specification, Verification And Validation Pages: 245 - 259