Formal Methods in System Design, Volume 1

Volume 1, Number 1, 1992

Zhou Chaochen, C. A. R. Hoare: A Model for Synchronous Switching Circuits and its Theory of Correctness. 7-28 BibTeX
David L. Dill, Steven M. Nowick, Robert F. Sproull: Specification and Automatic Verification of Self-Timed Queues. 29-60 BibTeX
Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell: Probabilistic Verification of Boolean Functions. 61-115 BibTeX
Alain J. Martin: Asynchronous Datapaths and the Design of an Asynchronous Adder. 117-137 BibTeX

Special Issue on Conputer-Aided Verification: General Methods

Aarti Gupta: Formal Hardware Verification Methods: A Survey. 151-238 BibTeX
Valérie Roy, Robert de Simone: Auto/Autograph. 239-249 BibTeX
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron: On-the-fly Verification of Finite Transition Systems. 251-273 BibTeX
Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, Mihalis Yannakakis: Memory-Efficient Algorithms for the Verification of Temporal Properties. 275-288 BibTeX

Special Issue on Computer-Aided Verification: Special Methods I

Antti Valmari: A Stubborn Attack on State Explosion. 297-322 BibTeX
Henrik Reif Andersen, Glynn Winskel: Compositional Checking of Satsfaction. 323-354 BibTeX
Paul Loewenstein: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. 355-383 BibTeX
Costas Courcoubetis, Mihalis Yannakakis: Minimum and Maximum Delay Problems in Real-Time Systems. 385-415 BibTeX