Volume 118, February 2005

Proceedings of the International Workshop on Software Verification and Validation (SVV 2003)

• 
  Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. 1-
• 
  Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena: Insights to Angluin's Learning. 3-18
• 
  Benjamin Aziz, Geoff W. Hamilton, David Gray: A Denotational Approach to the Static Analysis of Cryptographic Processes. 19-36
• 
  Girish Keshav Palshikar, Purandar Bhaduri: Verification of Scenario-based Specifications using Templates. 37-55
• 
  Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. 57-70
• 
  Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath: Verifying a UMTS Protocol Using Spin and EASN. 71-85
• 
  Qian Wang, Gopal Gupta: Provably Correct Code Generation: A Case Study. 87-109
• 
  Naijun Zhan: Compositional Properties of Sequential Processes. 111-128
• 
  Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante: A Trace Logic for Local Security Properties. 129-143
• 
  Thomas Noll: Equational Abstractions for Model Checking Erlang Programs. 145-162