Electronic Notes in Theoretical Computer Science, Volume 207

Volume 207, April 2008

• Geguang Pu, Volker Stolz:
  Preface. 1-2
  
• Ernst-Rüdiger Olderog:
  Automatic Verification of Combined Specifications: An Overview. 3-16
  
• Xiaoshan Li, Zhiming Liu:
  Prototyping System Requirements Model. 17-32
  
• Zuohua Ding, Zhenbang Chen, Jing Liu:
  A Rigorous Model of Service Component Architecture. 33-48
  
• Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu:
  The Verification of rCOS Using Spin. 49-67
  
• Lu Yang, Volker Stolz:
  Integrating Refinement into Software Development Tools. 69-88
  
• Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
  An Exercise on Transition Systems. 89-106
  
• Choe Changil, Dang Van Hung:
  On Verification of Linear Occurrence Properties of Real-Time Systems. 107-120
  
• Miaomiao Zhang, Wenzhong Qin:
  Parametric Analysis of an Improved Fault Tolerant System. 121-136
  
• Xiaodong Ma, Ji Wang, Wei Dong:
  Shape Analysis by Refining on Abstract Evaluation Path. 137-151
  
• Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni:
  Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. 153-169
  
• Carlo Montangero, Laura Semini:
  Barbed Model-Driven Software Development: A Case Study. 171-186
  
• Steve Reeves, David Streader:
  Generic Tools via General Refinement. 187-202
  
• Meng Sun:
  Pre-Galois Connection on Coalgebras for Generic Component Refinement. 203-217