Formal Methods in System Design, Volume 8

Volume 8, Number 1, January 1996

• Paola Inverardi, Corrado Priami: Automatic Verification of Distributed Systems: The Process Algebra Approach. 7-38
• Doron Peled: Combining Partial Order Reductions with On-the-Fly Model-Checking. 39-64
• Tetsuya Yamada, Hiroto Yasuura: On the Computational Power of Binary Decision Diagram with Redundant Variables. 65-89
• Jan Friso Groote: Hiding Propositional Constants in BDDs. 91-96

Volume 8, Number 2, March 1996

• Cliff B. Jones: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. 105-122
• Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen: A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. 123-151
• Mandayam K. Srivas, Steven P. Miller: Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods. 153-188

Volume 8, Number 3, May 1996

• Kostas N. Oikonomou: On a Class of Optimal Abstractions of Finite-State Machines. 195-220
• Manfred Broy: Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant. 221-272
• Jordan Gergov, Christoph Meinel: Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams. 273-282