Volume 26, Issue 2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 26, Issue 2

March 2005

Special Issue on Software Model Checking

Issue Editors:

Scott D. Stoller,
Willem Visser

6 articles in this issue

Foreword
Scott D. Stoller
Willem Visser
EditorialNotes Pages: 75 - 76
Software Model Checking: The VeriSoft Approach
Patrice Godefroid
OriginalPaper Pages: 77 - 101
Verifying Time Partitioning in the DEOS Scheduling Kernel
John Penix
Willem Visser
Nicholas Weininger
OriginalPaper Pages: 103 - 135
Translating Java for Multiple Model Checkers: The Bandera Back-End
Radu Iosif
Matthew B. Dwyer
John Hatcliff
OriginalPaper Pages: 137 - 180
Automated Analysis of Fault-Tolerance in Distributed Systems
Scott D. Stoller
Fred B. Schneider
OriginalPaper Pages: 183 - 196
Distributed Symbolic Model Checking for μ-Calculus
Orna Grumberg
Tamir Heyman
Assaf Schuster
OriginalPaper Pages: 197 - 219