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
  
• Stavros Tripakis, Sergio Yovine:
  Analysis of Timed Systems Using Time-Abstracting Bisimulations. 25-68
  
• Krishnaprasad Thirunarayan, Robert L. Ewing:
  Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. 69-88
  

Volume 18, Number 2, March 2001

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

Volume 18, Number 3, May 2001

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

Last update Fri May 24 20:20:18 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page