Formal Methods in System Design, Volume 16

Volume 16, Number 1, January 2000

Ganesh Gopalakrishnan: Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications. 5-6 BibTeX
Ásgeir Th. Eiríksson: The Formal Design of 1M-gate ASICs. 7-22 BibTeX
Mary Sheeran, Gunnar Stålmarck: A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. 23-58 BibTeX
Nazanin Mansouri, Ranga Vemuri: Automated Correctness Condition Generation for Formal Verification of Synthesized RTL Designs. 59-91 BibTeX
Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan: Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. 93-119 BibTeX

F. Keith Hanna: Reasoning About Analog-Level Implementations of Digital Systems. 127-158 BibTeX
Javier Esparza, Stephan Melzer: Verification of Safety Properties Using Integer Programming: Beyond the State Equation. 159-189 BibTeX
Janusz A. Brzozowski, H. Zhang: Delay-Insensitivity and Semi-Modularity. 191-218 BibTeX

Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. 227-270 BibTeX
John Harrison: Floating Point Verification in HOL Light: The Exponential Function. 271-305 BibTeX
Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager: Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. 307-320 BibTeX