Volume 26,
Number 1,
January 2005
Volume 26,
Number 2,
March 2005
- Scott D. Stoller, Willem Visser:
Foreword.
75-76
Electronic Edition (link) BibTeX
- Patrice Godefroid:
Software Model Checking: The VeriSoft Approach.
77-101
Electronic Edition (link) BibTeX
- John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger:
Verifying Time Partitioning in the DEOS Scheduling Kernel.
103-135
Electronic Edition (link) BibTeX
- Radu Iosif, Matthew B. Dwyer, John Hatcliff:
Translating Java for Multiple Model Checkers: The Bandera Back-End.
137-180
Electronic Edition (link) BibTeX
- Scott D. Stoller, Fred B. Schneider:
Automated Analysis of Fault-Tolerance in Distributed Systems.
183-196
Electronic Edition (link) BibTeX
- Orna Grumberg, Tamir Heyman, Assaf Schuster:
Distributed Symbolic Model Checking for µ-Calculus.
197-219
Electronic Edition (link) BibTeX
Volume 26,
Number 3,
May 2005
Copyright © Sat May 16 23:59:09 2009
by Michael Ley (ley@uni-trier.de)