Journal: Formal Methods in System Design

Volume 10, Issue 2/3

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

Volume 10, Issue 1

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