Formal Methods in System Design, Volume 26

Volume 26, Number 1, January 2005

Doron Peled:
Introduction: Special Issue on Partial Order in Formal Methods. 5-6
Electronic Edition (link) BibTeX
Rajeev Alur, Kenneth L. McMillan, Doron Peled:
Deciding Global Partial-Order Properties. 7-25
Electronic Edition (link) BibTeX
Igor Walukiewicz:
Difficult Configurations-On the Complexity of LTrL. 27-43
Electronic Edition (link) BibTeX
Kimmo Varpaaniemi:
On Stubborn Sets in the Verification of Linear Time Temporal Properties. 45-67
Electronic Edition (link) BibTeX

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

Christian Jacobi, Christoph Berg:
Formal Verification of the VAMP Floating Point Unit. 227-266
Electronic Edition (link) BibTeX
Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani:
Checking Timed Büchi Automata Emptiness Efficiently. 267-292
Electronic Edition (link) BibTeX
T. Karvi, Tienari Tienari, Roope Kaivola:
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. 293-317
Electronic Edition (link) BibTeX
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. 319-350
Electronic Edition (link) BibTeX