Formal Methods in System Design, Volume 25

Volume 25, Number 1, July 2004

• Jens Chr. Godskesen:
  Connectivity Testing. 5-38
  
• Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson:
  Using Forward Reachability Analysis for Verification of Lossy Channel Systems. 39-65
  
• Karen Yorav, Orna Grumberg:
  Static Analysis for State-Space Reductions Preserving Temporal Logics. 67-96
  

Volume 25, Number 2-3, September 2004

• Natasha Sharygina:
  Guest Editorial. 103-103
  
• Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav:
  Predicate Abstraction of ANSI-C Programs Using SAT. 105-127
  
• Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav:
  Efficient Verification of Sequential and Concurrent C Programs. 129-166
  
• Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington:
  Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. 167-198
  
• Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath:
  Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. 199-240
  
• Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin:
  Lessons Learned from Model Checking a NASA Robot Controller. 241-270