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
  

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