Journal: Formal Methods in System Design

Volume 16, Issue 3

227 -- 270Nikolaj 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
271 -- 305John Harrison. Floating Point Verification in HOL Light: The Exponential Function
307 -- 320Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager. Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394

Volume 16, Issue 2

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

Volume 16, Issue 1

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