Formal Methods in System Design, Volume 21

Volume 21, Number 1, July 2002

• Radu Grosu, Thomas Stauner: Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts. 5-38
• Kathi Fisler, Moshe Y. Vardi: Bisimulation Minimization and Symbolic Model Checking. 39-78
• Richard Raimi, James Lear: Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking. 79-94
• Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Jacob A. Abraham, Donald S. Fussell, Masahiro Fujita: Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table. 95-101

Volume 21, Number 2, September 2002

• Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. 111-166
• Janett Mohnke, Paul Molitor, Sharad Malik: Limits of Using Signatures for Permutation Independent Boolean Comparison. 167-191
• Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Formula-Dependent Equivalence for Compositional CTL Model Checking. 193-224
• Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems using Reusability and Compositionality. 225-244

Volume 21, Number 3, November 2002

• Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. 251-280
• Peter Buchholz, Peter Kemper: Hierarchical Reachability Graph Generation for Petri Nets. 281-315
• Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster: A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. 317-338