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
• David L. Dill, Steven M. Nowick, Robert F. Sproull: Specification and Automatic Verification of Self-Timed Queues. 29-60
• Jawahar Jain, Jacob A. Abraham, James R. Bitner, Donald S. Fussell: Probabilistic Verification of Boolean Functions. 61-115
• Alain J. Martin: Asynchronous Datapaths and the Design of an Asynchronous Adder. 117-137

Volume 1, Number 2/3, October 1992

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

Volume 1, Number 4, December 1992

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