Volume 198, Number 1, February 2008

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2007)

• 
  Ivana Cerná, Boudewijn R. Haverkort: Preface. 1-2
• 
  Gerard J. Holzmann: A Stack-Slicing Algorithm for Multi-Core Model Checking. 3-16
• 
  Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State Space Generation. 17-32
• 
  Stefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. 33-46
• 
  Jonathan Ezekiel, Gerald Lüttgen: Measuring and Evaluating Parallel State-Space Exploration Algorithms. 47-61
• 
  Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Improved Distributed Algorithms for SCC Decomposition. 63-77
• 
  Jiri Barnat, Petr Rockai: Shared Hash Tables in Parallel Model Checking. 79-91
• 
  Muhammad Torabi Dashti, Anton Wijs, Bert Lisser: Distributed Partial Order Reduction for Security Protocols. 93-99

Volume 198, Number 2, May 2008

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories (SMT 2007)

• 
  Sava Krstic, Albert Oliveras: Preface. 1-2
• 
  Mirron Rozanov, Ofer Strichman: Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic. 3-17
• 
  Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry: E-matching for Fun and Profit. 19-35
• 
  Leonardo Mendonça de Moura, Nikolaj Bjørner: Model-based Theory Combination. 37-49
• 
  Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer: CC(X): Semantic Combination of Congruence Closure with Solvable Theories. 51-69
• 
  Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SMT. 71-84