Journals in DBLP

Formal Methods in System Design
2004, volume: 25, number: 2-3

1. Natasha Sharygina
   Guest Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:103-103 [Journal]
   
2. Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
   Predicate Abstraction of ANSI-C Programs Using SAT. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:105-127 [Journal]
   
3. Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
   Efficient Verification of Sequential and Concurrent C Programs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:129-166 [Journal]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
   
5. Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
   Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:199-240 [Journal]
   
6. Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin
   Lessons Learned from Model Checking a NASA Robot Controller. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:241-270 [Journal]