Formal Methods in System Design, Volume 10

Volume 10, Number 1, February 1997

• Edmund M. Clarke:
  Editorial. 5
  
• Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny:
  Multiway Decision Graphs for Automated Hardware Verification. 7-46
  
• Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi:
  Another Look at LTL Model Checking. 47-71
  
• Walling R. Cyre, Aniruddha Thakar:
  Generating Validation Feedback for Automatic Interpretation of Informal Requirements. 73-92
  
• Michael Merritt, Ariel Orda, Sonia R. Sachs:
  Formal Verification of a Distributed Computer System. 93-125
  

Volume 10, Number 2/3, April 1997

• Masahiro Fujita, Patrick C. McGeer:
  Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. 135-136
  
• Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang:
  Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. 137-148
  
• Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang:
  Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. 149-169
  
• R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
  Algebraic Decision Diagrams and Their Applications. 171-206
  
• Gary D. Hachtel, Fabio Somenzi:
  A Symbolic Algorithms for Maximum Flow in 0-1 Networks. 207-219
  
• Shin-ichi Minato, Fabio Somenzi:
  Arithmetic Boolean Expression Manipulator Using BDDs. 221-242
  
• Paul Tafertshofer, Massoud Pedram:
  Factored Edge-Valued Binary Decision Diagrams. 243-270
  

Last update Tue Feb 14 04:17:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page