Formal Methods in System Design, Volume 5

Volume 5, Number 1/2, July 1994

Holger Busch: Rule-Based Induction. 7-33 BibTeX
John Harrison: Constructing the Real Numbers in HOL. 35-59 BibTeX
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man: Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL. 61-94 BibTeX
Mark Aagaard, Miriam Leeser: A Methodology for Efficient Hardware Verification. 95-117 BibTeX
Saraswati Kalvala: Annotations in Formal Specifications and Proofs. 119-144 BibTeX
Klaus Schneider, Ramayya Kumar, Thomas Kropf: Accelerating Tableaux Proofs Using Compact Representations. 145-176 BibTeX

Shuvra S. Bhattacharyya, Edward A. Lee: Looped Schedules for Dataflow Descriptions of Multirate Signal Processing Algorithms. 183-205 BibTeX
David M. Goldschlag: Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. 207-225 BibTeX
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs: A Structural Linearization Principle for Processes. 227-244 BibTeX
Radhakrishna Nagalla, Graham R. Hellestrand: Signal Transition Graph Constraints for Synthesis of Hazard-Free Asynchronous Circuits with Unbounded-Gate Delays. 245-273 BibTeX