Formal Methods in System Design, Volume 18

Volume 18, Number 1, January 2001

• Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. 5-23 BibTeX
• Stavros Tripakis, Sergio Yovine: Analysis of Timed Systems Using Time-Abstracting Bisimulations. 25-68 BibTeX
• Krishnaprasad Thirunarayan, Robert L. Ewing: Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. 69-88 BibTeX

Volume 18, Number 2, March 2001

• Orna Grumberg: Introduction: Special Issue on CAV '97. 95 BibTeX
• Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State-Space Exploration. 97-116 BibTeX
• Ulrich Stern, David L. Dill: Parallelizing the Murj Verifier. 117-129 BibTeX
• R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi: A New Heuristic for Bad Cycle Detection Using BDDs. 131-140 BibTeX
• Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh: Efficient Detection of Vacuity in Temporal Model Checking. 141-163 BibTeX

Volume 18, Number 3, May 2001

• Kostas N. Oikonomou: Abstractions of Random Finite-State Machines. 171-207 BibTeX
• Radomir S. Stankovic: Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions. 209-231 BibTeX
• Matthew Wilding, David A. Greve, David Hardin: Efficient Simulation of Formal Processor Models. 233-248 BibTeX
• Graeme Smith, John Derrick: Specification, Refinement and Verification of Concurrent Systems-An Integration of Object-Z and CSP. 249-284 BibTeX
• Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. 285-301 BibTeX