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
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
