Journal: Formal Methods in System Design

Volume 26, Issue 3

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

Volume 26, Issue 2

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

Volume 26, Issue 1

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