Formal Methods in System Design, Volume 27

Volume 27, Number 1-2, September 2005

• Milos Besta, Frank A. Stomp:
  A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. 5-17
  
• Sharon Barner, Orna Grumberg:
  Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. 29-66
  
• Jayanta Bhadra, Andrew K. Martin, Jacob A. Abraham:
  A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor. 67-112
  
• Alberto Verdejo, Narciso Martí-Oliet:
  Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. 113-172
  
• Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk:
  Formalization of Fixed-Point Arithmetic in HOL. 173-200
  

Volume 27, Number 3, November 2005

• Klaus Havelund, Grigore Rosu:
  Foreword. 211-212
  
• Karthikeyan Bhargavan, Carl A. Gunter:
  Network Event Recognition. 213-251
  
• Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
  Collecting Statistics Over Runtime Executions. 253-274
  
• Murat Karaorman, Parker Abercrombie:
  jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. 275-312
  
• Suan Hsi Yong, Susan Horwitz:
  Using Static Analysis to Reduce Dynamic Analysis Overhead. 313-334
  
• Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu:
  Translation and Run-Time Validation of Loop Transformations. 335-360