Journal: Formal Methods in System Design

Volume 25, Issue 2-3

103 -- 103Natasha Sharygina. Guest Editorial
105 -- 127Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav. Predicate Abstraction of ANSI-C Programs Using SAT
129 -- 166Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav. Efficient Verification of Sequential and Concurrent C Programs
167 -- 198Guillaume 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
199 -- 240Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath. Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
241 -- 270Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin. Lessons Learned from Model Checking a NASA Robot Controller

Volume 25, Issue 1

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