The Community for Technology Leaders
RSS Icon
Subscribe
2006 Formal Methods in Computer-Aided Design (2006)
San Jose, CA
Nov. 12, 2006 to Nov. 16, 2006
ISBN: 0-7695-2707-8
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. vii
pp. viii
Referees (PDF)
pp. ix
Hardware Verification
Jason Baumgartner , IBM Systems & Technology Group
Devi Shanmugam , IBM Systems & Technology Group
Rick Seigler , IBM Systems & Technology Group
Gary Van Huben , IBM Systems & Technology Group
Barinjato Ramanandray , IBM Deutschland Entwicklung GmbH
Hari Mony , IBM Systems & Technology Group
Paul Roessler , IBM Systems & Technology Group
pp. 3-10
Marcelo Skaba , Intel, IDC, Israel
Daher Kaiss , Intel, IDC, Israel
Ziyad Hanna , Intel, IDC, Israel
pp. 11-18
Sava Krstic , Intel Corporation, USA
Jordi Cortadella , Universitat Politecnica de Catalunya, Spain
Mike Kishinevsky , Intel Corporation, USA
John O?Leary , Intel Corporation, USA
pp. 19-30
SAT-Based Methods
Hyondeuk Kim , University of Colorado at Boulder, USA
pp. 31-38
Bertrand Mazure , Universite d?Artois, France
Eric Gregoire , Universite d?Artois, France
pp. 39-46
Hossein M. Sheini , University of Michigan, USA
pp. 47-48
Software Verification
Daniel Kroening , Computer Systems Institute, ETH, Switzerland
Byron Cook , Microsoft Research
pp. 53-59
M.C.W. Geilen , Eindhoven University of Technology, Netherlands
T. Basten , Eindhoven University of Technology, Netherlands
B.D. Theelen , Eindhoven University of Technology, Netherlands
M.R. Mousavi , Eindhoven University of Technology, Netherlands
S. Stuijk , Eindhoven University of Technology, Netherlands
pp. 68-75
Model Checking
Yu Yang , University of Utah, USA
Ganesh Gopalakrishnan , University of Utah, USA
Ching-Tsun Chou , Intel Corporation
pp. 81-88
Florian Pigorsch , Albert-Ludwigs-Universitat Freiburg, Institut fur Informatik, Germany
Christoph Scholl , Albert-Ludwigs-Universitat Freiburg, Institut fur Informatik, Germany
Stefan Disch , Albert-Ludwigs-Universitat Freiburg, Institut fur Informatik, Germany
pp. 89-96
Ashish Darbari , Oxford University Computing Lab, UK
pp. 97-105
Mihaela Gheorghiu , University of Toronto, Canada
Shiva Nejati , University of Toronto, Canada
pp. 106-116
Automata Theoretic Methods
Barbara Jobstmann , Graz University of Technology
pp. 117-124
Marco Roveri , ITC-irst
Simone Semprini , ITC-irst
Stefano Tonetta , University of Lugano, Switzerland
pp. 125-133
Sagar Chaki , Software Engineering Institute
Nishant Sinha , Carnegie Mellon University
pp. 134-144
Theorem Proving
Michael J.C. Gordon , University of Cambridge Computer Laboratory, UK
James Reynolds , University of Cambridge Computer Laboratory, UK
Warren A. Hunt , Department of Computer Sciences, USA
Matt Kaufmann , Department of Computer Sciences, USA
pp. 153-160
Jun Sawada , IBM Austin Research Laboratory, USA
pp. 161-170
Testing and Verification Applications
C. Helmstetter , Verimag, Centre equation, France; STMicroelectronics, HPC, System Platform Group, France
F. Maraninchi , Verimag, Centre equation, France
L. Maillet-Contoz , STMicroelectronics, HPC, System Platform Group, France
M. Moy , Verimag, Centre equation, France
pp. 171-178
Priyank Kalla , University of Utah, USA
M. Brandon Meredith , Georgia State University, USA
Florian Enescu , Georgia State University, USA
pp. 179-186
Haja Moinudeen , Concordia University, Canada
Sofiene Tahar , Concordia University, Canada
pp. 187-188
Behzad Akbarpour , University of Cambridge, UK
Sofiene Tahar , Concordia University, Canada
pp. 189-190
Julien Schmaltz , Saarland University, Germany
pp. 191-192
Author Index
Author Index (PDF)
pp. 193
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool