Formal Methods in System Design, Volume 4

Volume 4, Number 1, January 1994

Diederik Verkest, Luc J. M. Claesen, Hugo De Man: A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. 5-31 BibTeX
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Speed-Independent Circuits on an Event Model. 33-75 BibTeX

Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. 83-97 BibTeX
Siegfried Fischer, Andreas Scholz: Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. 99-122 BibTeX
Thomas F. La Porta, Mischa Schwartz: Verification of the MultiStream Potocol (MSP) Using COSPAN. 123-153 BibTeX
W. M. H. M. Rovers: Description of a Design Management System for the P-ASIC Design Flow Using EXPDL. 155-166 BibTeX
Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. 167-185 BibTeX
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Model Checking for Action-Based Logics. 187-203 BibTeX

Andrew M. Bailey, George A. McCaskill, George J. Milne: An Exercise in the Automatic Verification of Asynchronous Designs. 213-242 BibTeX
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini: Assisting Requirement Formalization by Means of Natural Language Translation. 243-263 BibTeX
Victoria Stavridou: Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310 BibTeX