Formal Methods in System Design, Volume 26

Volume 26, Number 1, January 2005

• Doron Peled:
  Introduction: Special Issue on Partial Order in Formal Methods. 5-6
  
• Rajeev Alur, Kenneth L. McMillan, Doron Peled:
  Deciding Global Partial-Order Properties. 7-25
  
• Igor Walukiewicz:
  Difficult Configurations-On the Complexity of LTrL. 27-43
  
• Kimmo Varpaaniemi:
  On Stubborn Sets in the Verification of Linear Time Temporal Properties. 45-67
  

Volume 26, Number 2, March 2005

• Scott D. Stoller, Willem Visser:
  Foreword. 75-76
  
• Patrice Godefroid:
  Software Model Checking: The VeriSoft Approach. 77-101
  
• John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger:
  Verifying Time Partitioning in the DEOS Scheduling Kernel. 103-135
  
• Radu Iosif, Matthew B. Dwyer, John Hatcliff:
  Translating Java for Multiple Model Checkers: The Bandera Back-End. 137-180
  
• Scott D. Stoller, Fred B. Schneider:
  Automated Analysis of Fault-Tolerance in Distributed Systems. 183-196
  
• Orna Grumberg, Tamir Heyman, Assaf Schuster:
  Distributed Symbolic Model Checking for µ-Calculus. 197-219
  

Volume 26, Number 3, May 2005

• Christian Jacobi, Christoph Berg:
  Formal Verification of the VAMP Floating Point Unit. 227-266
  
• Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani:
  Checking Timed Büchi Automata Emptiness Efficiently. 267-292
  
• T. Karvi, Tienari Tienari, Roope Kaivola:
  Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. 293-317
  
• Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
  Reduced Models for Efficient CCS Verification. 319-350