Formal Methods in System Design, Volume 13

Volume 13, Number 1, May 1998

• Marina A. Waldén, Kaisa Sere: Reasoning about Action Systems using the B-Method. 5-35
• Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng: Checking Combinational Equivalence of Speed-Independent Circuits. 37-85
• Manfred Broy: A Functional Rephrasing of the Assumption/Commitment Specification Style. 87-119

Volume 13, Number 2, September 1998

• Deepak Kapur, Mahadevan Subramaniam: Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. 127-158
• Sofiène Tahar, Ramayya Kumar: A Practical Methodology for the Formal Verification of RISC Processors. 159-225

Volume 13, Number 3, November 1998

• Olaf Schröer, Ingo Wegener: The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours. 235-253
• Gerard J. Holzmann: An Analysis of Bitstate Hashing. 289-307