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 BibTeX
Doron Peled: Combining Partial Order Reductions with On-the-Fly Model-Checking. 39-64 BibTeX
Tetsuya Yamada, Hiroto Yasuura: On the Computational Power of Binary Decision Diagram with Redundant Variables. 65-89 BibTeX
Jan Friso Groote: Hiding Propositional Constants in BDDs. 91-96 BibTeX

Cliff B. Jones: Accommodating Interference in the Formal Design of Concurrent Object-Based Programs. 105-122 BibTeX
Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen: A Formal Approach to Reactive Systems Software: A Telecommunications Application in ESTEREL. 123-151 BibTeX
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 BibTeX

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