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
Volume 16, Number 2, March 2000
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
Volume 16, Number 3, June 2000
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
Copyright ©
Sat May 16 23:59:10 2009 by
Michael Ley
(
ley@uni-trier.de
)