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